Quasivarieties of cancellative commutative binary modes

&
Studia Logica 78 (1-2):321 - 335 (2004)
  Copy   BIBTEX

Abstract

The paper describes the isomorphic lattices of quasivarieties of commutative quasigroup modes and of cancellative commutative binary modes. Each quasivariety is characterised by providing a quasi-equational basis. A structural description is also given. Both lattices are uncountable and distributive.

Categories

Keywords

Reprint years

2005

DOI

10.1007/s11225-005-1335-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quasivarieties of logic, regularity conditions and parameterized algebraization.G. D. Barbour & J. G. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.
Finite quasivarieties and self-referential conditions.Alexei Vernitski - 2004 - Studia Logica 78 (1-2):337 - 348.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
When can non‐commutative statistical inference be Bayesian?Miklós Rédei - 1992 - International Studies in the Philosophy of Science 6 (2):129-132.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties.K. V. Adaricheva & V. A. Gorbunov - 2004 - Studia Logica 78 (1-2):35 - 44.

Analytics

Added to PP
2009-01-28

Downloads
32 (#473,773)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Algebras, Lattices, Varieties.Ralph N. Mckenzie, George F. Mcnulty & Walter F. Taylor - 1992 - Journal of Symbolic Logic 57 (1):266-268.

Add more references