Advertisement

Soft Computing

, Volume 22, Issue 4, pp 1203–1207 | Cite as

Reduced axioms for the propositional logics induced by basic algebras

  • Ivan Chajda
  • Miroslav Kolařík
Foundations
  • 70 Downloads

Abstract

A certain logic induced by basic algebras was already studied by the first author in Chajda (Int J Theor Phys 54:4306–4312, 2015) and, for the particular case of the so-called commutative basic algebras, axiom system was established by Botur and Halaš (Arch Math Logic 48:243–255, 2009). In Kolařík (Discuss Math Gen Algebra Appl 36:113–116, 2016) the just mentioned axiom system was essentially reduced. The aim of this paper is to reduce the original axiom system from Chajda (Int J Theor Phys 54:4306–4312, 2015) and to show that it is the best possible reduction in the sense that the remaining axioms are independent.

Keywords

Basic algebra Commutative basic algebra Orthomodular lattice The logic of quantum mechanics Axiom system 

Notes

Acknowledgements

This study was funded by the project New Perspectives on Residuated Posets, Project I 1923–N25 by Austrian Sci. Fund (FWF) and 15–34697L by Czech Grant Agency (GAČR), and by ÖAD, Project CZ 04/2017.

Compliance with ethical standards

Conflict of interest

The authors declare that they have no conflict of interests.

Human and animal participants

This article does not contain any studies with human participants performed by any of the authors.

References

  1. Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:828–843MathSciNetCrossRefMATHGoogle Scholar
  2. Blok WJ, Pigozzi D (1989) Algebraizable Logics. Mem Am Math Soc 77Google Scholar
  3. Botur M, Halaš R (2009) Commutative basic algebras and non-associative fuzzy logics. Arch Math Logic 48:243–255MathSciNetCrossRefMATHGoogle Scholar
  4. Chajda I (2015) Basic algebras, logics, trends and applications. Asian Eur J Math 8:1550041–1550086MathSciNetCrossRefMATHGoogle Scholar
  5. Chajda I (2015) The propositional logic induced by means of basic algebras. Int J Theor Phys 54:4306–4312MathSciNetCrossRefMATHGoogle Scholar
  6. Chajda I, Halaš R, Kühr J (2009) Many-valued quantum algebras. Algebra Univ 60:63–90MathSciNetCrossRefMATHGoogle Scholar
  7. Chajda I, Kolařík M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41–43CrossRefMATHGoogle Scholar
  8. Kühr J, Chajda I, Halaš R (2015) The join of the variety of MV-algebras and the variety of orthomodular lattices. Int J Theor Phys 54:4423–4429MathSciNetCrossRefMATHGoogle Scholar
  9. Husimi K (1937) Studies on the foundations of quantum mechanics I. Proc Phys Math Soc Jpn 19:766–789MATHGoogle Scholar
  10. Kolařík M (2016) A short note on \(L_{\rm CBA}\)—fuzzy logic with a non-associative conjunction. Discuss Math Gen Algebra Appl 36:113–116MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  1. 1.Department of Algebra and Geometry, Faculty of SciencePalacký University OlomoucOlomoucCzech Republic
  2. 2.Department of Computer Science, Faculty of SciencePalacký University OlomoucOlomoucCzech Republic

Personalised recommendations