Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic.
José Espírito SantoRalph MatthesLuís PintoPublished in: CoRR (2020)
Keyphrases
- propositional logic
- proof search
- linear logic
- theorem prover
- first order logic
- proof procedure
- cut elimination
- sequent calculus
- inference rules
- belief revision
- logical framework
- theorem proving
- logic programming
- automated reasoning
- fixed point
- lattice theory
- natural deduction
- desirable properties
- knowledge representation
- formal semantics
- predicate calculus
- propositional satisfiability
- classical logic
- artificial intelligence
- machine learning
- optimization problems