Results 21 to 30 of about 81 (74)
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Commutator theory for relatively modular quasivarieties [PDF]
Transactions of the American Mathematical Society, 1992 The authors develop a commutator theory for relatively modular quasivarieties that extends the theory for modular varieties. For a relatively modular quasivariety \(\Lambda\) and any algebra \(A\in \Lambda\) let \(\text{Con }A\) be the lattice of all congruence relations of \(A\) and \(\text{Con}_ \Lambda A\) be the lattice consisting of all \(\theta ...
Kearnes, Keith, McKenzie, Ralph
openaire +2 more sources
Quasivarieties of pseudocomplemented semilattices [PDF]
Fundamenta Mathematicae, 1995 A pseudocomplemented semilattice is an algebra \((S; \wedge, *, 0, 1)\) comprising a \((0,1)\)-semilattice \((S; \wedge, 0, 1)\) with a unary operation \(*\) (pseudocomplementation) such that \(s\wedge t=0\) iff \(t\leq s^*\) for all \(s,t\in S\). It is known that the variety of all pseudocomplemented semilattices is generated by the 3-element chain \(\
Adams, M. E. +3 more
openaire +2 more sources
Journal of Algebra, 1996 The author describes a class of sketches, ``separated limit sketches'', such that quasivarieties of finitary algebras are precisely the categories sketchable by separated finite-limit sketches. This result has an extension with ``finitary'' replaced by a cardinal parameter.
openaire +2 more sources
Note on quasivarieties generated by finite pointed abelian groups
Open MathematicsWe prove that a finite pointed abelian group generates a finitely axiomatizable variety that has a finite quasivariety lattice. As a consequence, we obtain that a quasivariety generated by a finite pointed abelian group has a finite basis of quasi ...
Basheyeva Ainur, Lutsak Svetlana
doaj +1 more source
Quasivarieties of Wajsberg hoops
Fuzzy Sets and Systems, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Locally Finite Quasivarieties of MV-algebras
, 1997 Preprint enviat per a la seva publicació: [https://arxiv.org/abs/1405.7504]
Gispert Brasó, Joan +1 more
openaire +3 more sources
The logic induced by effect algebras. [PDF]
Soft comput, 2020 Chajda I, Halaš R, Länger H.
europepmc +1 more source
Congruence permutability in quasivarieties
It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a telegraphic proof.
Carai, Luca +2 more
openaire +2 more sources