Abstract
An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all connectives defined implicitly by axiomatic extensions of the logic are explicitly definable.
Similar content being viewed by others
References
Blok, W. J., and D. Pigozzi, Algebraizable logics, Memoirs of the AMS, Number 396, 1989.
Burris, S., and H. P. Sankapanavar, A Course in Universal Algebra, GTM 78, Springer Verlag, 1981
Caicedo, X., and R. Cignoli, An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic, Vol. 60 (2001) 1620–1636.
Chang, C. C., ‘A new proof of the completeness of Lukasiewicz axioms’, Transactions of the AMS 93 (1959) 74–90.
Cignoli, R., I. M. L. D’Ottaviano, and D. Mundici, Algebraic foundations of many valued reasoning, Kluwer, Dordrecht-Boston-London, 2000.
Czelakowski, J., and R. Jansana, ‘Weakly Algebraizable Logics’, The Journal of Symbolic Logic 65 (2000), 641–668.
Gerla, B., ‘Rational Łukasiewicz logic and DMV-algebras’, Neural Networks World 11 (2001), 579–584.
Font, J. M. and R. Jansana, A general algebraic semantics for sentential logics, Lect. Notes in Logic 7, Springer Verlag, 1996.
Kaarly, K., and A. F. Pixley, Polynomial Completeness in Algebraic Systems, Chapman and Hall/CRC, 2000.
Kuznetsov, A. V., ‘On the propositional calculus of intuitionistic probability’, Soviet Math. Dokl. 32 (1985), 18–21.
Wroński, A., ‘BCK-algebras do not form a variety’, Math Japonica 28 (1983), 211–213.
Author information
Authors and Affiliations
Additional information
Special issue of Studia Logica: “Algebraic Theory of Quasivarieties” Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko
Rights and permissions
About this article
Cite this article
Caicedo, X. Implicit connectives of algebraizable logics. Stud Logica 78, 155–170 (2004). https://doi.org/10.1007/s11225-005-5170-6
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-5170-6