First-order frames for orthomodular quantum logic.
Chrysafis HartonasPublished in: J. Appl. Non Class. Logics (2016)
Keyphrases
- quantum computation
- linear temporal logic
- general logic programs
- logic circuits
- conditional logic
- probabilistic logic
- first order logic
- higher order
- modal logic
- logic synthesis
- predicate calculus
- horn clauses
- video frames
- classical first order logic
- sound and complete with respect
- predicate logic
- model theoretic
- logic programming
- proof theory
- knowledge base
- digital circuits
- moving objects
- quantifier free
- classical logic
- quantum inspired
- quantum computing
- logic programs
- logical theories
- temporal logic
- low power
- inference rules
- asynchronous circuits
- image frames
- autoepistemic logic
- multi valued
- information retrieval