On order types of linear basic algebras.
DOI10.1007/s00012-015-0328-1zbMath1335.06006OpenAlexW2057107478MaRDI QIDQ2351508
Radomír Halaš, Ivan Chajda, Aleksandr Georgievich Pinus
Publication date: 23 June 2015
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-015-0328-1
orthomodular latticeslinear orderssubdirect irreducibilityorder typescommutative basic algebrasgeneralizations of MV-algebrassubdirectly irreducible linear basic algebras
Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Continuum hypothesis and Martin's axiom (03E50) MV-algebras (06D35) Total orders (06A05) Quantum logic (03G12) Other generalizations of distributive lattices (06D75)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras
- On (finite) distributive lattices with antitone involutions.
- Many-valued quantum algebras
- Ideals and congruences of basic algebras
- Complete commutative basic algebras
- Independence of axiom system of basic algebras
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- An example of a commutative basic algebra which is not an MV-algebra
- Subdirectly Irreducible MV-Algebras
This page was built for publication: On order types of linear basic algebras.