A Tableaux Calculus for Default Intuitionistic Logic.
Valentin CassanoRaul FervariGuillaume HoffmannCarlos ArecesPablo F. CastroPublished in: CADE (2019)
Keyphrases
- intuitionistic logic
- natural deduction
- modal logic
- sequent calculus
- cut elimination
- classical logic
- linear logic
- inference rules
- proof procedure
- theorem prover
- proof theoretic
- theorem proving
- decision procedures
- normal form
- functional dependencies
- proof search
- temporal logic
- propositional logic
- knowledge based systems
- data model
- default logic
- wide class
- first order logic
- database design
- logic programming