×

Logics of variable inclusion and the lattice of consequence relations. (English) Zbl 1486.03020

Summary: In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic \(\vdash\) with a composition term. Then, we investigate their position into the lattice of consequence relations over the language of \(\vdash\).

MSC:

03B22 Abstract deductive systems
03G27 Abstract algebraic logic
03B50 Many-valued logic
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Beall, J., Off-topic: A new interpretation of weak-Kleene logic, The Australasian Journal of Logic, 13, 6 (2016) · Zbl 1422.03044 · doi:10.26686/ajl.v13i6.3976
[2] Bergmann, M., An introduction to many-valued and fuzzy logic (2008), Cambridge University Press · Zbl 1148.03001
[3] Blok, W. J.; Jónsson, B., Equivalence of consequence operations, Studia Logica, 83, 1-3, 91-110 (2006) · Zbl 1106.03059 · doi:10.1007/s11225-006-8299-z
[4] Blok, W. J.; Pigozzi, D., Algebraizable logics, 396 (1989), A.M.S · Zbl 0664.03042
[5] Bochvar, D., On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus, Mathematicheskii Sbornik, 4, 287-308 (1938) · JFM 64.0928.03
[6] Bonzio, S.; Gil-Férez, J.; Paoli, F.; Peruzzi, L., On paraconsistent weak Kleene logic: Axiomatization and algebraic analysis, Studia Logica, 105, 2, 253-297 (2017) · Zbl 1417.03191 · doi:10.1007/s11225-016-9689-5
[7] Bonzio, S.; Moraschini, T.; Pra Baldi, M., Logics of left variable inclusion and Płonka sums of matrices, Archive for Mathematical Logic, 1-28 (2020) · Zbl 1491.03088 · doi:10.1007/s00153-020-00727-6
[8] Bonzio, S.; Pra Baldi, M. (2020)
[9] Burris, S., & Sankappanavar, H. P. (2012). A course in universal algebra (The Millennium Ed.). https://www.math.uwaterloo.ca/snburris/htdocs/ualg.html. · Zbl 0478.08001
[10] Campercholi, M. A.; Raftery, J. G., Relative congruence formulas and decompositions in quasivarieties, Algebra Universalis, 78, 3, 407-425 (2017) · Zbl 1429.08011 · doi:10.1007/s00012-017-0455-y
[11] Ciuni, R., & Carrara, M. (2016). Characterizing logical consequence in paraconsistent weak Kleene. In L. Felline, A. Ledda, F. Paoli, & E. Rossanese (Eds.), New developments in logic and the philosophy of science. College. · Zbl 1430.03049
[12] Ciuni, R.; Ferguson, T.; Szmuc, D., Relevant logics obeying component homogeneity, The Australasian Journal of Logic, 15, 2, 301-361 (2018) · Zbl 1453.03019 · doi:10.26686/ajl.v15i2.4864
[13] Ciuni, R.; Ferguson, T.; Szmuc, D., Logics based on linear order of contaminating values, Journal of Logic and Computation, 2, 1-34 (2019) · Zbl 1450.03004 · doi:10.1093/logcom/exz009
[14] Coniglio, M.; Corbalán, M., Sequent calculi for the classical fragment of Bochvar and Halldén’s nonsense logics, Proceedings of LSFA, 2012, 125-136 (2012) · Zbl 1464.03030 · doi:10.4204/EPTCS.113.12
[15] Czelakowski, J., Protoalgebraic logics, 10 (2001), Kluwer Academic Publishers · Zbl 0984.03002
[16] Font, J. M., Abstract algebraic logic: An introductory textbook (2016), College Publications · Zbl 1375.03001
[17] Font, J. M.; Moraschini, T., M-sets and the representation problem, Studia Logica, 103, 1, 21-51 (2015) · Zbl 1368.03070 · doi:10.1007/s11225-013-9536-x
[18] Halldén, S., The logic of nonsense (1949), Lundequista Bokhandeln · Zbl 0040.29201
[19] Kleene, S., Introduction to metamathematics (1952), North Holland · Zbl 0047.00703
[20] Lávička, T., & Přenosil, A. (2017, November). Protonegational logics and inconsistency lemmas. In Proceedings of manyval 2017.
[21] Parry, W. T. (1932). Implication [PhD thesis, Harvard University].
[22] Petrukhin, Y., Natural deduction for four-valued both regular and monotonic logics, Logic and Logical Philosophy, 27, 53-66 (2018) · Zbl 1417.03181 · doi:10.12775/LLP.2016.025
[23] Płonka, J., On a method of construction of abstract algebras, Fundamenta Mathematicae, 61, 2, 183-189 (1967) · Zbl 0168.26701 · doi:10.4064/fm-61-2-183-189
[24] Płonka, J., On distributive quasilattices, Fundamenta Mathematicae, 60, 191-200 (1967) · Zbl 0154.00709 · doi:10.4064/fm-60-2-191-200
[25] Płonka, J., & Romanowska, A. (1992). Semilattice sums. Universal algebra and quasigroup theory. Helderman Verlag, Berlin 123, (pp. 123-158). · Zbl 0802.08001
[26] Raftery, J. G., Inconsistency lemmas in algebraic logic, Mathematical Logic Quarterly, 59, 6, 393-406 (2013) · Zbl 1350.03051 · doi:10.1002/malq.201200020
[27] Romanowska, A.; Smith, J., Modes (2002), World Scientific · Zbl 1012.08001
[28] Szmuc, D., Defining LFIs and LFUs in extensions of infectious logics, Journal of Applied Non-Classical Logics, 26, 4, 286-314 (2016) · Zbl 1398.03138 · doi:10.1080/11663081.2017.1290488
[29] Szmuc, D.; Re, B. D.; Pailos, F., Theories of truth based on four-valued infectious logics, Logic Journal of the IGPL, 28-5 (2020) · Zbl 1477.03072 · doi:10.1093/jigpal/jzy057
[30] Tomova, N., About four-valued regular logics, Logical Investigations, 15, 223-228 (2009) · Zbl 1195.03030
[31] Wójcicki, R., Theory of logical calculi. Basic theory of consequence operations, 199 (1988), Reidel · Zbl 0682.03001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.