Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.
Alexander BolotovVasilyi ShanginPublished in: J. Intell. Syst. (2012)
Keyphrases
- natural deduction
- inference rules
- proof search
- theorem prover
- sequent calculus
- cut elimination
- theorem proving
- linear logic
- modal logic
- first order logic
- intuitionistic logic
- logical framework
- logic programming
- conditional probabilities
- linear time temporal logic
- supervised learning
- proof procedure
- classical logic
- propositional logic
- markov random field