Skip to main content
Springer Nature Link
Log in

Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In the context of implicational tonoid logics, this paper investigates analogues of Birkhoff’s two theorems, the so-called subdirect representation and varieties theorems, and of Mal’cev’s quasi-varieties theorem. More precisely, we first recall the class of implicational tonoid logics. Next, we establish the subdirect product representation theorem for those logics and then consider some more related results such as completeness. Thirdly, we consider the varieties theorem for them. Finally, we introduce an analogue of Mal’cev’s quasi-varieties theorem for algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Data Availibility

Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.

References

  1. Blok, W. J., and B. Jónsson, Equivalence of consequence operations, Studia Logica 83:91–110, 2006.

    Article  Google Scholar 

  2. Blok, W. J., and D. Pigozzi, Algebraic semantics for universial horn logic without equality, in A. Romanowska, and J.D.H. Smith, (eds.), Universial Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1986, pp. 1–56.

  3. Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, New York, Springer-Verlag, 1981.

    Book  Google Scholar 

  4. Cintula, P., Weakly Implicative (Fuzzy) Logics I: Basic properties, Archive for Mathematical Logic 45:673–704, 2006.

  5. Cintula, P., and C. Noguera, Implicational (semiliear) logics I: a new hierarchy, Archive for Mathematical Logic 49:417–446, 2010.

    Article  Google Scholar 

  6. Cintula, P., and C. Noguera, A general framework for mathematical fuzzy logic, in P. Cintula, P. Hájek, and C. Noguera, (eds.), Handbook of Mathematical Fuzzy Logic, vol. 1, College Publications, London, 2011, pp. 103–207.

    Google Scholar 

  7. Cintula, P., and C. Noguera, Implicational (semilinear) logics II: disjunction and completeness properties, Archive for Mathematical Logic 53:353–372, 2016.

    Article  Google Scholar 

  8. Czelakowski, J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001.

    Book  Google Scholar 

  9. Dunn, J. M., Gaggle theory, an abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators, in J. Van Eijck, (ed.), Logics in AI (JELIA 1990, Amsterdam), vol. 478 of Lecture Notes in Computer Science, Springer Verlag, 1991, pp. 31–51.

    Google Scholar 

  10. Dunn, J. M., Partial gaggles applied to logics with restricted structural rules, in P. Schroeder-Heister and K. Do\(\check{s}\)en, (eds.), Substructural Logics, Oxford, Clarendon, 1993, pp. 63–108.

  11. Dunn, J. M., and G. Hardegree, Algebraic Methods in Philosophical Logic, Oxford University Press, Oxford, 2001.

    Google Scholar 

  12. Mal’cev, A. I., Algebraic Systems, Springer-Verlag, Berlin, 1973.

    Book  Google Scholar 

  13. Raftery, J. G., Correspondence between Gentzen and Hilbert systems, The Journal of Symbolic Logic 71:903–957, 2006.

    Article  Google Scholar 

  14. Raftery, J. G., Order algebraizable logics, Annals of Pure and Applied Logic 164:251–283, 2013.

    Article  Google Scholar 

  15. Yang, E., and J. M. Dunn, Implicational tonoid logics: algebraic and relational semantics, Logica Universalis 15:435–456, 2021.

    Article  Google Scholar 

Download references

Acknowledgements

I dedicate this paper to the late J. Michael Dunn. I would like to thank the reviewer and the Editor in Chief for their helpful comments. This work was supported by the Ministry of Education of the Republic of Korea and the National Research Foundation of Korea (NRF-2019S1A5A2A01034874).

Author information

Authors and Affiliations

  1. Department of Philosophy and Institute of Critical Thinking and Writing, Jeonbuk National University, Rm 417 Center for Humanities and Social Sciences, Baekje-daero 567, Jeonju, Korea

    Eunsuk Yang

Authors
  1. Eunsuk Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eunsuk Yang.

Ethics declarations

Conflict of interest

Author Yang declares that he has no conflict of interest.

Ethics approval

This article does not contain any studies with human participants or animals performed by the author.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Jacek Malinowski

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yang, E. Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics. Stud Logica 111, 501–519 (2023). https://doi.org/10.1007/s11225-023-10035-8

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-023-10035-8

Keywords