A propositional system induced by Japaridze's approach to IF logic.
Wenyan XuPublished in: Log. J. IGPL (2014)
Keyphrases
- sound and complete axiomatization
- multi valued
- deductive reasoning
- probabilistic logic
- autoepistemic logic
- propositional logic
- logic programming
- modal logic
- first order logic
- default logic
- horn clauses
- classical logic
- proof procedure
- logical framework
- predicate calculus
- propositional variables
- logical theories
- neural network
- general logic programs
- asynchronous circuits
- propositional theories
- proof theory
- truth maintenance systems
- classical first order logic
- computational problems
- coalition logic
- modal operators
- epistemic logic
- predicate logic
- model theoretic
- set theory
- defeasible logic
- computational properties
- theorem proving
- belief revision
- logic programs
- relational databases