Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.
Jørgen VilladsenAsta Halkjær FromPatrick BlackburnPublished in: CoRR (2022)
Keyphrases
- propositional logic
- theorem prover
- first order logic
- horn logic
- natural deduction
- belief revision
- automated reasoning
- theorem proving
- valued logic
- quantified boolean formulae
- proof procedure
- possibilistic logic
- propositional satisfiability
- inference rules
- lattice theory
- satisfiability testing
- cut elimination
- davis putnam
- horn contraction
- linear logic
- belief change
- fuzzy numbers
- partial order
- fuzzy set theory
- knowledge representation
- machine learning