Structure theorems for idempotent residuated lattices (Q2182567)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Structure theorems for idempotent residuated lattices	scientific article

Statements

scholarly article

Structure theorems for idempotent residuated lattices (English)

José Gil-Férez

George Metcalfe

Algebra Universalis

publication date

26 May 2020

full work available at URL

https://arxiv.org/abs/2004.09553

zbMATH Keywords

residuated lattices

substructural logics

local finiteness

finite embeddability property

amalgamation

describes a project that uses

MaRDI profile type

MaRDI publication profile

Congruence properties in congruence permutable and in ideal determined varieties, with applications.

The finite model property for knotted extensions of propositional linear logic

THE STRUCTURE OF RESIDUATED LATTICES

Variety generated by conical residuated lattice-ordered idempotent monoids

The structure of idempotent residuated chains

Conical residuated lattice-ordered idempotent monoids

Quasitrivial semigroups: characterizations and enumerations

Algebraic completeness results for R-mingle and its extensions

Residuated lattices. An algebraic glimpse at substructural logics

A category equivalence for odd Sugihara monoids and its applications

Idempotent residuated structures: Some category equivalences and their applications

Substructural logics with mingle

Craig interpolation for semilinear substructural logics

On closed elements in closure algebras

Amalgamation and interpolation in ordered algebras.

The subvariety lattice for representable idempotent commutative residuated lattices

Representable idempotent commutative residuated lattices

Commutative idempotent residuated lattices

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:2182567

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2182567&oldid=36587615"