On Two Attempts of Describing Propositional Realizability Logic.
Valery PliskoPublished in: J. Log. Comput. (2011)
Keyphrases
- sound and complete axiomatization
- multi valued
- deductive reasoning
- probabilistic logic
- horn clauses
- proof procedure
- first order logic
- propositional logic
- classical first order logic
- predicate calculus
- autoepistemic logic
- classical logic
- default logic
- logic programming
- logical theories
- computational properties
- truth maintenance systems
- propositional variables
- neural network
- general logic programs
- propositional theories
- data sets
- epistemic logic
- statistical relational learning
- nonmonotonic logics
- logical framework
- belief revision
- bayesian networks
- coalition logic
- knowledge base