Update to "A Survey of Abstract Algebraic Logic".
Josep Maria FontRamon JansanaDon PigozziPublished in: Stud Logica (2009)
Keyphrases
- algebraic structure
- computer algebra
- logic programming
- propositional dynamic logic
- mathematical theory
- data sets
- artificial intelligence
- low level
- classical logic
- nonmonotonic logics
- sound and complete axiomatization
- linear logic
- deontic logic
- epistemic logic
- predicate logic
- set theory
- probabilistic logic
- multi valued
- modal logic
- learning algorithm