A Forward Unprovability Calculus for Intuitionistic Propositional Logic.
Camillo FiorentiniMauro FerrariPublished in: TABLEAUX (2017)
Keyphrases
- fuzzy sets
- propositional logic
- fuzzy set theory
- proof procedure
- first order logic
- belief revision
- natural deduction
- quantified boolean formulae
- linear logic
- possibilistic logic
- cut elimination
- theorem prover
- davis putnam
- propositional satisfiability
- valued logic
- belief change
- theorem proving
- lattice theory
- satisfiability testing
- sequent calculus
- artificial intelligence
- horn logic
- minimal models
- classical logic
- logical framework
- inference rules
- expressive power
- search space