Quasi-subtractive varieties

DOI10.2178/jsl/1318338848zbMath1254.03119OpenAlexW2077831547MaRDI QIDQ3107353

Tomasz Kowalski, Francesco Paoli, Matthew Spinks

Publication date: 23 December 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1318338848

zbMATH Keywords

open filter\(\tau\)-permutable varietyflat subvarietyopen contradiction.quasi-subtractive variety

Mathematics Subject Classification ID

Varieties (08B99) Abstract algebraic logic (03G27)

Related Items (11)

The representation of square root quasi-pseudo-MV algebras ⋮ Boolean-like algebras ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Lattice-theoretic properties of algebras of logic ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Quasi-discriminator varieties ⋮ Ideals and congruences in quasi-pseudo-MV algebras ⋮ Quantum computational algebra with a non-commutative generalization ⋮ On certain quasivarieties of quasi-MV algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Joins and subdirect products of varieties
• On normal and regular identities
• Ideals in universal algebras
• Constructive logic with strong negation is a substructural logic. I
• Constructive logic with strong negation is a substructural logic. II
• Topology and duality in modal logic
• On some second-order rigidity conditions for analytic surfaces
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On subtractive varieties. III: From ideals to congruences
• On subtractive varieties II: General properties
• On the structure of varieties with equationally definable principal congruences. IV
• On subtractive varieties. I
• A survey of abstract algebraic logic
• Quasivarieties of logic, regularity conditions and parameterized algebraization
• Generalized MV-algebras
• Products of classes of residuated structures
• Normally presented varieties
• On subtractive varieties. IV: Definability of principal ideals
• Representable pseudo-interior algebras
• MV-algebras and quantum computation
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Algebraizable logics
• Logics Which Are Characterized by Subresiduated Lattices
• Basic Propositional Calculus I
• Joins and Direct Products of Equational Classes

This page was built for publication: Quasi-subtractive varieties