On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.
Juan Climent VidalJuan Soliveres TurPublished in: Reports Math. Log. (2006)
Keyphrases
- equational theories
- intuitionistic logic
- defeasible logic
- relation algebra
- theorem proving
- classical logic
- probability theory
- multi valued
- horn clauses
- logic programming
- causal theories
- boolean algebra
- modal logic
- distributive lattices
- strong equivalence
- formal logic
- nonmonotonic logics
- logical formulas
- proof theoretic
- modal operators
- predicate logic
- causal reasoning
- computational properties