Proof Normalisation in a Logic Identifying Isomorphic Propositions.
Alejandro Díaz-CaroGilles DowekPublished in: FSCD (2019)
Keyphrases
- proof theory
- truth values
- linear logic
- natural deduction
- proof theoretic
- proof search
- logical rules
- automated theorem proving
- theorem proving
- proof procedure
- theorem prover
- default reasoning
- sequent calculi
- higher order logic
- conditional logic
- logical framework
- sequent calculus
- multi valued
- automated reasoning
- cut elimination
- information systems
- formal theory
- classical logic
- modal logic
- logic programming
- complete axiomatization