Algebraic semantics for propositional superposition logic.
Athanassios TzouvarasPublished in: J. Appl. Non Class. Logics (2020)
Keyphrases
- sound and complete axiomatization
- algebraic structure
- logic programming
- autoepistemic logic
- proof theory
- predicate calculus
- belief revision
- model theoretic
- truth maintenance systems
- logical theories
- strong equivalence
- multi valued
- nonmonotonic logics
- conditional logic
- modal logic
- epistemic logic
- sound and complete with respect
- propositional logic
- disjunctive logic programming
- propositional dynamic logic
- classical first order logic
- logic programs
- probabilistic logic
- default reasoning
- derivation rules
- default logic
- classical logic
- horn clauses
- modal operators
- computer algebra
- probabilistic reasoning
- proof theoretic
- propositional theories
- highly expressive
- predicate logic
- dynamic logic
- operational semantics
- logical framework
- nonmonotonic reasoning
- theorem proving
- answer set programming
- deductive databases
- proof procedure
- rule engine
- knowledge base
- formal language
- mathematical theory
- active rules
- intuitionistic logic
- algebraic operators
- alternating time temporal logic