Compatibility operators in Abstract Algebraic Logic.
Hugo AlbuquerqueJosep Maria FontRamon JansanaPublished in: J. Symb. Log. (2016)
Keyphrases
- algebraic operators
- multi valued
- modal operators
- computer algebra
- algebraic structure
- logic programming
- propositional dynamic logic
- modal logic
- higher level
- proof theory
- classical logic
- truth values
- computational properties
- automated reasoning
- query language
- multiscale
- linear temporal logic
- algebraic expressions
- asynchronous circuits
- neural network
- sound and complete axiomatization
- predicate logic
- digital circuits
- set theory
- partially ordered
- model checking
- logic programs
- knowledge representation
- relational databases
- information systems
- artificial intelligence