Representable idempotent commutative residuated lattices
From MaRDI portal
(Redirected from Publication:3443137)
idempotentresiduated latticerelevance logicrepresentableresiduationlocally finite varietySugihara monoidminglerelative Stone algebra
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Subdirect products and subdirect irreducibility (08B26) Varieties of lattices (06B20) Quasivarieties (08C15)
Recommendations
- The subvariety lattice for representable idempotent commutative residuated lattices
- Minimal varieties of representable commutative residuated lattices
- Residuated Structures, Concentric Sums and Finiteness Conditions
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Local commutative residuated lattices
Cites work
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1354940 (Why is no real title available?)
- scientific article; zbMATH DE number 591901 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 2070197 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 1361537 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- A propositional calculus with denumerable matrix
- A remark on the s. c. free closure algebras
- Adding involution to residuated structures
- Algebraic Analysis of Many Valued Logics
- Algebraic completeness results for R-mingle and its extensions
- Algebraizable logics
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Algebras Whose Congruence Lattices are Distributive.
- Conservative extension in relevant implication
- Constructing simple residuated lattices
- Equational bases for joins of residuated-lattice varieties
- Fragments of R-mingle
- Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
- Minimal varieties of residuated lattices
- NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
- On conserving positive logics
- On formulas of one variable in intuitionistic propositional calculus
- On the finite embeddability property for residuated ordered groupoids
- On the lattice of quasivarieties of Sugihara algebras
- On the structure of hoops
- On the structure of varieties with equationally definable principal congruences. I
- Positive Sugihara monoids
- Rule separation and embedding theorems for logics without weakening
- Subdirectly irreducible residuated semilattices and positive universal classes
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- The finite model property for knotted extensions of propositional linear logic
- The semantics and proof theory of linear logic
Cited in
(36)- Structure theorems for idempotent residuated lattices
- The structure of finite commutative idempotent involutive residuated lattices
- Variety generated by conical residuated lattice-ordered idempotent monoids
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Semilinear De Morgan monoids and epimorphisms
- Subdirectly irreducible residuated semilattices and positive universal classes
- Approximate positional analysis of fuzzy social networks
- Varieties of skew Boolean algebras with intersections
- Representable biresiduated lattices
- Implicational subreducts of \(n\)-potent commutative residuated lattices
- Idempotent residuated structures: Some category equivalences and their applications
- Characterization and computation of approximate bisimulations for fuzzy automata
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Conical residuated lattice-ordered idempotent monoids
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Totally ordered inverse commutative residuated lattices
- Representable pseudo-BCK-algebras and integral residuated lattices
- Group representation for even and odd involutive commutative residuated chains
- Amalgamation in semilinear residuated lattices
- Semilinear idempotent distributive \(\ell\)-monoids
- Minimal varieties of representable commutative residuated lattices
- On semiconic idempotent commutative residuated lattices
- Quasi-discriminator varieties
- Semiconic idempotent residuated structures
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Approximate state reduction of fuzzy finite automata
- Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras
- Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
- Irreducible residuated semilattices and finitely based varieties
- Factor varieties
- On the solvability of weakly linear systems of fuzzy relation equations
- The subvariety lattice for representable idempotent commutative residuated lattices
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Categories of models of \(\mathbf{R}\)-mingle
- Craig interpolation for semilinear substructural logics
This page was built for publication: Representable idempotent commutative residuated lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3443137)
