Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic.
Camillo FiorentiniMauro FerrariPublished in: ICTCS (2020)
Keyphrases
- propositional logic
- proof search
- linear logic
- theorem prover
- first order logic
- proof procedure
- belief revision
- theorem proving
- cut elimination
- inference rules
- quantified boolean formulae
- automated reasoning
- logical framework
- sequent calculus
- logic programming
- fixed point
- probabilistic reasoning
- desirable properties
- knowledge representation
- propositional satisfiability
- default reasoning
- fuzzy set theory
- belief change
- answer set programming