Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.
Romas AlonderisPublished in: Log. J. IGPL (2007)
Keyphrases
- linear logic
- sequent calculus
- sound and complete axiomatization
- multi valued
- inference rules
- logic programming
- modal logic
- probabilistic logic
- fixed point
- propositional logic
- general logic programs
- horn clauses
- maximum likelihood
- predicate logic
- autoepistemic logic
- knowledge base
- natural deduction
- predicate calculus
- classical logic
- artificial intelligence
- first order logic
- dynamic logic
- bayesian networks
- deductive reasoning
- propositional variables
- default logic
- classical first order logic
- finite model theory
- desirable properties