Natural Deduction for Connexive Paraconsistent Quantum Logic.
Norihiro KamidePublished in: ISMVL (2017)
Keyphrases
- natural deduction
- inference rules
- intuitionistic logic
- theorem prover
- cut elimination
- sequent calculus
- theorem proving
- modal logic
- truth values
- first order logic
- logical framework
- linear time temporal logic
- classical logic
- quantum inspired
- quantum computing
- logic programming
- horn clauses
- quantum mechanics
- automated reasoning
- graphical models
- linear logic
- machine learning
- belief revision
- expert systems
- artificial intelligence