A Substructural Gentzen Calculus for Orthomodular quantum Logic.
Davide FazioAntonio LeddaFrancesco PaoliGavin St. JohnPublished in: Rev. Symb. Log. (2023)
Keyphrases
- sequent calculus
- cut elimination
- linear time temporal logic
- natural deduction
- linear logic
- inference rules
- propositional calculus
- modal logic
- quantum computation
- computer algebra
- logic circuits
- model checking
- classical logic
- wide class
- horn clauses
- proof theoretic
- temporal logic
- proof search
- logical framework
- algebraic structure
- theorem proving
- logic programming
- transition systems
- logic synthesis
- quantum computing
- quantum mechanics
- automated reasoning
- sufficient conditions
- linear temporal logic
- predicate logic
- lambda calculus
- theorem prover
- fixed point
- relation algebra