On the Algebraizability of the Implicational Fragment of Abelian Logic.
Sam ButchartSusan RogersonPublished in: Stud Logica (2014)
Keyphrases
- database
- databases
- automata theoretic
- logic programming
- modal logic
- query language
- set theory
- automated reasoning
- multi valued
- logical framework
- formal model
- algebraic properties
- regular path queries
- asynchronous circuits
- computational properties
- classical logic
- temporal logic
- logic programs
- artificial intelligence
- information retrieval
- data sets