The Logic of the Ontological Square.

Published in: Stud Logica (2009)

Keyphrases

classical logic
artificial intelligence
domain specific
database
neural network
logic programming
automated reasoning
database systems
semi automatic
modal logic
conceptual modeling
digital circuits
formal theory
ontological framework