Skip to main content
SpringerLink
Log in

Wajsberg algebras and post algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We give a presentation of Post algebras of ordern+1 (n≥1) asn+1 bounded Wajsberg algebras with an additional constant, and we show that a Wajsberg algebra admits a P-algebra reduct if and only if it isn+1 bounded.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. R. Balbes andPh. Dwinger,Distributive Lattices. University of Missouri Press. 1974

  2. W. J. Blok andD. Pigozzi,Algebraizable Logics. Mem. Amer. Math. Soc.77 (1989).

  3. S. Burris andH. P. Sankappanavar,A Course in Universal Algebra. Graduate texts in Mathematics.78. Springer Verlag. New York 1981.

    Google Scholar 

  4. C. C. Chang,Algebraic analysis of many valued Logics.Trans. Amer. Math. Soc. 88 (1958), pp. 476–490.

    Google Scholar 

  5. C. C. Chang,A new proof of the completness of the Lukasiewicz Axioms.Trans. Amer. Math. Soc. 93 (1959), pp. 74–80.

    Google Scholar 

  6. R. Cignoli,Moisil Algebras. Notas de Lógica Matemática. 27. Universidad Nacional del Sur. Bahia Blanca. 1970.

  7. R. Cignoli,Some algebraic aspects of many valued logics. In: A.I. Arruda, N.C.A. da Costa and A.M. Sette (editors).Proceedings of the third Brasilian Conference on Mathematical logic. Sociedade Brasileira de Lógica. São Paolo. 1980. pp. 49–68.

    Google Scholar 

  8. R. Cignoli,Proper n-Valued Lukasiewicz Algebras as S-algebras of Lukasiewicz n-Valued Propositional Calculi.Studia Logica 41 (1982) 1, pp. 3 – 16.

    Google Scholar 

  9. W. H. Cornish,On Iséki's BCK-algebras.Lecture notes in Pure and applied Mathematics. 74 (1982) Ed. M. Dekker. Inc. New York and Babel, pp. 101 – 122

  10. W. H. Cornish,Varieties generated by finite BCK-algebras.Bull. Austral. Math. Soc. 22 (1980), pp. 411–430.

    Google Scholar 

  11. G. Epstein andA. Horn,P-algebras, an abstraction from Post Algebras.Algebra Universalis 4 (1974), pp. 195–206

    Google Scholar 

  12. E. Fried, G. E. Hansoul, E. T. Schmidt andJ. C. Varlet,Perfect distributive lattices Proceedings of the Vienna Conference, June 1984. Verlag Hölder-Pichler-Temps-ky, Wien 1985, pp. 125–142.

    Google Scholar 

  13. J. M. Font, A. J. Rodríguez, A. Torrens,Wajsberg Algebras.Stocastica 8 (1984), pp. 3–16.

    Google Scholar 

  14. R. Grigolia,Algebraic analysis of Lukasiewicz-Tarski's n-valued logical systems, inSelected papers on Łukasiewicz Sentential Calculi (R. Wójcicki Ed.), pp. 81 – 92

  15. K. Iseki,An algebra related with a Propositional Calculus.Proc. Japan Acad. Ser. A, Math. Sci. 42 (1966), pp. 26–29.

    Google Scholar 

  16. K. Iseki andS. Tanaka,An introduction to the Theory of BCK-algebras.Math. Japon. 23 (1978), pp. 1–26.

    Google Scholar 

  17. Y. Komory,Super-Lukasiewicz Implicational Logics.Nagoya Math. J. 72 (1978), pp. 127–133.

    Google Scholar 

  18. Y. Komori,Super-Łukasiewicz Propositional Logics.Nagoya Math. J. 84 (1981), pp. 119–133.

    Google Scholar 

  19. A. F. Pixley,The ternary discriminator function in Universal algebra.Math. Ann. 191 (1971), pp. 167–180.

    Google Scholar 

  20. A. J. Rodríguez,Un estudio algebraico de los Cálculos Proposicionales de Łukasiewicz. Ph. Doc. Diss. University of Barcelona. 1980.

  21. A. Rodríguez, A. Torrens andV. Verdú,Łukasiewicz logic and Wajsberg Algebras.Polish Acad. Sci. Bull.Sec Logic 19 (1990), pp. 51–36.

    Google Scholar 

  22. A. Romanowska andT. Traczyk,On Commutative BCK — algebras.Math. Japon. 25 (1980), pp. 567–583.

    Google Scholar 

  23. A. Rose andJ. B. Rosser,Fragments of many valued stament calculi Trans. Amer. Math. Soc. 87 (1958), pp. 1–53.

    Google Scholar 

  24. A. Torrens,Estudi i algebraització de certes lògiques. Algebras D-Completes. Ph. Doc. Diss. University of Barcelona. 1980.

  25. A. Torrens,W-algebras which are Boolean Products of members of SR[1]and CW-algebras.Studia Logica. 46 (1987), pp. 263–272.

    Google Scholar 

  26. A. Torrens,Boolean Products of CW-algebras and pseudolcomplementation.Rep. Math. Logic 23 (1989), pp. 31–38.

    Google Scholar 

  27. T. Traczyk,On the variety of bouded commutative BCK-algebras.Math. Japon. 24 (1979), pp. 283–292.

    Google Scholar 

  28. H. Yutani,On a system of axioms of a commutative BCK-algebras.Math. Sem. Notes Kobe Univ. 5 (1977), pp. 255–256.

    Google Scholar 

  29. P. Zlatos,Two-levelled logic and Model Theory.Finite Algebra and Multiple-valued Logic. Ed. B. Csákány and I. Rosenberg. Coll. Math. Soc. János Bolyai,28 (1981). North Holland.

Download references

Author information

Authors and Affiliations

  1. Facultad de Ciencias, Universidad de Granada, 18006, Granada, Spain

    Antonio Jesús Rodríguez

  2. Facultat de Matemàtiques, Universitat de Barcelona, Gran Via 585, 08007, Barcelona, Spain

    Antoni Torrens

Authors
  1. Antonio Jesús Rodríguez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Torrens
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This autor is partially supported by Grant PB90-0465-C02-01 of D.G.I.C.Y.T. of Spain

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rodríguez, A.J., Torrens, A. Wajsberg algebras and post algebras. Stud Logica 53, 1–19 (1994). https://doi.org/10.1007/BF01053019

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01053019

Keywords

Search

Navigation