Semiconic idempotent residuated structures
From MaRDI portal
Publication:1047102
DOI10.1007/s00012-009-0020-4zbMath1196.06009OpenAlexW2080811444MaRDI QIDQ1047102
Publication date: 4 January 2010
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-009-0020-4
Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Word problems (aspects of algebraic structures) (08A50)
Related Items
Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ On semiconic idempotent commutative residuated lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Positive Sugihara monoids
- Varieties with equationally definable principal congruences
- The free implicative semi-lattice on three generators
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Equational bases for joins of residuated-lattice varieties
- On the structure of varieties with equationally definable principal congruences. I
- On the structure of hoops
- Minimal varieties of residuated lattices
- A finite model property for RMImin
- Representable idempotent commutative residuated lattices
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Commutative idempotent residuated lattices
- Brouwerian Semilattices
- Equational Bases for Lattice Theories.
- On free pseudo-complemented and relatively pseudo-complemented semi-lattices
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Algebras Whose Congruence Lattices are Distributive.
- The decidability of certain intermediate propositional logics
