DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes.
Boldur E. BarbatPublished in: Int. J. Comput. Commun. Control (2007)
Keyphrases
- predicate calculus
- operational semantics
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- model theoretic
- nonmonotonic logics
- propositional dynamic logic
- formal semantics
- epistemic logic
- conditional logic
- proof theoretic
- dynamic logic
- logical framework
- predicate logic
- modal operators
- definition language
- active rules
- lexical semantics
- formal language
- constraint language
- highly expressive
- intuitionistic logic
- computational properties
- modal logic
- autoepistemic logic
- fixed point semantics
- semantic information
- theorem proving
- belief revision
- higher order logic
- rule language
- first order logic
- rule engine
- programming language
- logic programs
- attribute grammars
- derivation rules
- nonmonotonic reasoning
- high level
- valued semantics
- alternating time temporal logic
- logical theories
- proof procedures
- precisely defined
- logical formulas
- linear logic
- default logic
- deductive databases
- xml documents