Semantics of Multiplicative Propositional Signed Sequent Calculi with Structural Rules.
Alexej P. PynkoPublished in: J. Multiple Valued Log. Soft Comput. (2004)
Keyphrases
- sequent calculi
- conditional logic
- transformation rules
- sound and complete axiomatization
- strong equivalence
- cut elimination
- disjunctive logic programming
- logic programs
- default reasoning
- logic programming
- nonmonotonic reasoning
- autoepistemic logic
- model theoretic
- active rules
- probabilistic logic
- default logic
- propositional logic
- truth maintenance systems
- horn clauses
- machine learning
- modal logic
- first order logic
- object oriented
- knowledge representation
- expert systems