| Authors |
|
| Publication date |
2010
|
| Journal |
Annals of Pure and Applied Logic
|
| Volume | Issue number |
161 | 12
|
| Pages (from-to) |
1502-1519
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-based rather than purely order-theoretic and is in general different from the definition of canonical extensions for monotone poser expansions, but the two definitions agree whenever the algebras in AlgS are based on lattices. As a case study on logics purely based on implication, we prove that the varieties of Hilbert and Tarski algebras are canonical in this new sense.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1016/j.apal.2010.05.003
|
|
Permalink to this page
|