On everywhere strongly logifiable algebras
Choose format
RIS BIB ENDNOTEOn everywhere strongly logifiable algebras
Publication date: 21.10.2015
Reports on Mathematical Logic, 2015, Number 50, pp. 83-107
https://doi.org/10.4467/20842589RM.15.006.3915Authors
On everywhere strongly logifiable algebras
We introduce the notion of an everywhere strongly logifiable algebra: a finite non-trivial algebra A such that for every F 2 P(A) r f;;Ag the logic determined by the matrix hA; Fi is a strongly algebraizable logic with equivalent algebraic semantics the variety generated by A. Then we show that everywhere strongly logifiable algebras belong to the field of universal algebra as well as to the one of logic by characterizing them as the finite non-trivial simple algebras that are constantive and generate a congruence distributive and n-permutable variety for some n > 2. This result sets everywhere strongly logifiable algebras surprisingly close to primal algebras. Nevertheless we shall provide examples everywhere strongly logifiable algebras that are not primal. Finally, some conclusion on the problem of determining whether the equivalent algebraic semantics of an algebraizable logic is a variety is obtained.
[1] C. Bergman. Universal Algebra: Fundamentals and Selected Topics. Chapman & Hall, Pure and Applied Mathematics, 2011.
[2] W. J. Blok and B. Jo´nsson. Equivalence of Consequence Operations. Studia Logica, 83:1–3 (2006), 91–110.
[3] W. J. Blok and D. Pigozzi. Protoalgebraic logics. Studia Logica, 45 (1986), 337–369.
[4] W. J. Blok and D. Pigozzi. Algebraizable logics, volume 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.
[5] S. Burris and H. P. Sankappanavar. A course in Universal Algebra. The millennium edition, 2000.
[6] J. Czelakowski. Protoalgebraic logics, volume 10 of Trends in Logic—Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 2001.
[7] J. Czelakowski and D. Pigozzi. Fregean logics. Annals of Pure and Applied Logic, 127:1-3 (2004),17–76. Provinces of logic determined.
[8] J. Czelakowski and D. Pigozzi. Fregean logics with the multiterm deduction theorem and their algebraization. Studia Logica, 78:1–2 (2004),171–212.
[9] A. Diego. Sur les alg`ebres de Hilbert, Gauthier-Villars, Paris, 1966.
[10] J. M. Font. Generalized matrices in abstract algebraic logic. In V. F. Hendricks and J. Malinowski, editors, 50 Years of Studia Logica, volume 21 of Trends in Logic–Studia Logica Library, pp. 57–86. Dordrecht, 2003.
[11] J. M. Font. On semilattice-based logics with an algebraizable assertional companion. Reports on Mathematical Logic, 46 (2011), 109–132.
[12] J. M. Font. Abstract algebraic logic: An introductory textbook. Forthcoming, 2015.
[13] J. M. Font, F. Guzm´an, and V. Verdu´. Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic. Bulletin of the Section of Logic, 20 (1991),124– 128.
[14] J. M. Font and R. Jansana. A general algebraic semantics for sentential logics, volume 7 of Lecture Notes in Logic. Springer-Verlag, second edition, 2009. Electronic version freely available through Project Euclid at projecteuclid.org/euclid.lnl/1235416965.
[15] J. M. Font, R. Jansana, and D. Pigozzi. A survey on abstract algebraic logic. Studia Logica, Special Issue on Abstract Algebraic Logic, Part II, 74:1–2 (2003), 13–97. With an “Update” in 91 (2009), 125–130.
[16] R. Freese and R. McKenzie. Commutator theory for congruence modular varieties, volume 125 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1987.
[17] D. Hobby and R. McKenzie. The structure of finite algebras, volume 76 of Contemporary Mathematics. American Mathematical Society, Providence, RI, 1988.
[18] R. Jansana. Selfextensional logics with implication. In Logica universalis, pages 65–88. Birkh¨auser, Basel, 2005.
[19] R. Jansana. Self-extensional logics with a conjunction. Studia Logica, 84:1 (2006, September), 63–104.
[20] R. Jansana. Algebraizable logics with a strong conjunction and their semi-lattice based companions. Arch. Math. Logic, 51 (2012), 831–861.
[21] R. N. McKenzie, G. F. McNulty, and W. F. Taylor. Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks, Cole Mathematics Series, Monterey, CA, 1987.
[22] H. Rasiowa. An algebraic approach to non-classical logics, volume 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1974. [23] ´A. Szendrei. A survey on strictly simple algebras and minimal varieties, volume 19 of Research and Exposition in Mathematics, pp. 209–239. Heldermann Verlag, Berlin, 1992.
Information: Reports on Mathematical Logic, 2015, Number 50, pp. 83-107
Article type: Original article
Department of logic, history and philosophy of science, University of Barcelona (UB), Montalegre 6, E-08001 Barcelona, Spain
Published at: 21.10.2015
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
English