Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic.
José Espírito SantoRalph MatthesLuís PintoPublished in: TYPES (2020)
Keyphrases
- propositional logic
- proof search
- linear logic
- theorem prover
- first order logic
- proof procedure
- cut elimination
- belief revision
- sequent calculus
- logical framework
- theorem proving
- inference rules
- natural deduction
- fixed point
- automated reasoning
- lattice theory
- predicate calculus
- probabilistic reasoning
- horn logic
- formal semantics
- propositional satisfiability
- classical logic
- desirable properties
- horn clauses
- knowledge representation
- evolutionary algorithm
- bayesian networks
- belief change
- default reasoning