Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.
Norihiro KamidePublished in: FLAP (2020)
Keyphrases
- logic programming
- quantum computation
- linear temporal logic
- classical first order logic
- modal logic
- desirable properties
- general logic programs
- formal language
- logic synthesis
- valued logic
- logic circuits
- predicate calculus
- higher order
- classical logic
- multi valued
- logic programs
- truth values
- automated reasoning
- inference rules