Negative Translations of Orthomodular Lattices and Their Logic.
Wesley FussnerGavin St. JohnPublished in: QPL (2021)
Keyphrases
- positive and negative
- boolean algebra
- machine translation
- classical logic
- logic programming
- predicate logic
- logical framework
- multi valued
- modal logic
- proof theory
- formal theory
- natural language
- query translation
- database
- rough sets
- natural language processing
- defeasible logic
- multi agent systems
- asynchronous circuits
- genetic algorithm
- data mining