Abstract
We show that for an arbitrary logic being locally tabular is a strictly weaker property than being locally finite. We describe our hunt for a logic that allows us to separate the two properties, revealing weaker and weaker conditions under which they must coincide, and showing how they are intertwined. We single out several classes of logics where the two notions coincide, including logics that are determined by a finite set of finite matrices, selfextensional logics, algebraizable and equivalential logics. Furthermore, we identify a closure property on models of a logic that, in the presence of local tabularity, is equivalent to local finiteness.
Similar content being viewed by others
References
Albuquerque, H., Prenosil, A., Rivieccio, U.: An algebraic view of super-Belnap logics. Submitted
Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Am. Math. Soc., 396, A.M.S., Providence, (1989)
Bou, F., Rivieccio, U.: The logic of distributive bilattices. Log. J. I.G.P.L 19(1), 183–216 (2011)
Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. The Millennium edition, 1981, Berlin, Springer (2000)
Caleiro, C., Marcelino, S., Rivieccio, U.: Characterizing finite-valuedness. Submitted. http://sqig.math.ist.utl.pt/pub/MarcelinoS/17-CMR-finval.pdf
Chagrov, A., Zakharyaschev, M.: Modal Logic, Oxford Logic Guides, vol. 19. Oxford University Press, Oxford (1997)
Czelakowski, J.: Protoalgebraic logics, Trends in Logic-Studia Logica Library, 10. Kluwer Academic Publishers, Dordrecht (2001)
Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic, vol. 7, 2nd edn. Springer, Berlin (2009)
Font, J.M., Jansana, R., Pigozzi, D.: On the closure properties of the class of full G-models of a deductive system. Stud. Log. 83(1–3), 215–278 (2006)
Hájek, P.: Metamathematics of fuzzy logic, Trends in Logic-Studia Logica Library, 4. Kluwer Academic Publishers, Dordrecht (1998)
Rivieccio, U.: An infinity of super-Belnap logics. J. Appl. Non Class. Log. 22(4), 319–335 (2012)
Shoesmith, D.J., Smiley, T.J.: Deducibility and many-valuedness. J. Symb. Log. 36(4), 610–622 (1971)
Wójcicki, R.: Theory of Logical Calculi. Basic Theory of Consequence Operations, Synthese Library, vol. 199. Reidel, Dordrecht (1988)
Author information
Authors and Affiliations
Corresponding author
Additional information
Work done under the scope of R&D Unit 50008, financed by the applicable financial framework (FCT/MEC through national funds and when applicable co-funded by FEDERPT2020) and with the support of EU FP7 Marie Curie PIRSES-GA-2012-318986 project GeTFun: Generalizing Truth-Functionality. The first author also acknowledges the FCT postdoc grant SFRH/BPD/76513/2011.
Rights and permissions
About this article
Cite this article
Marcelino, S., Rivieccio, U. Locally Tabular \(\ne \) Locally Finite. Log. Univers. 11, 383–400 (2017). https://doi.org/10.1007/s11787-017-0174-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-017-0174-3