Intuitionistic propositional probability logic.
Angelina Ilic-StepicMateja KnezevicZoran OgnjanovicPublished in: Math. Log. Q. (2022)
Keyphrases
- classical logic
- sound and complete axiomatization
- linear logic
- multi valued
- interval valued
- probability theory
- natural deduction
- cut elimination
- probabilistic logic
- logical framework
- default logic
- logic programming
- propositional logic
- deductive reasoning
- horn clauses
- proof procedure
- quantum computation
- autoepistemic logic
- general logic programs
- classical first order logic
- probability distribution
- predicate calculus
- sequent calculus
- coalition logic
- truth maintenance systems
- nonmonotonic logics
- possibilistic logic
- automated reasoning
- fuzzy set theory
- theorem prover
- inference rules
- first order logic
- knowledge base