The structure of finite commutative idempotent involutive residuated lattices

DOI10.1007/S00012-021-00751-4OpenAlexW3199372372MaRDI QIDQ2238026

Peter Jipsen, Olim Frits Tuyt, Diego Valota

Publication date: 28 October 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.14483

zbMATH Keywords

Boolean algebrasrepresentationssubstructural logicslocal finitenessresiduated lattices

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Ordered semigroups and monoids (06F05) Ordered groups (06F15) Generalizations of Boolean algebras (06E75)

Related Items (1)

The structure of locally integral involutive po-monoids and semirings

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Conical residuated lattice-ordered idempotent monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• The Hahn embedding theorem for a class of residuated semigroups
• Structure theorems for idempotent residuated lattices
• The structure of idempotent residuated chains
• Representable idempotent commutative residuated lattices
• Commutative idempotent residuated lattices
• Algebraic completeness results for R-mingle and its extensions
• Topological representations of distributive lattices and Brouwerian logics
• Representations of Boolean algebras

This page was built for publication: The structure of finite commutative idempotent involutive residuated lattices