The structure of finite commutative idempotent involutive residuated lattices

DOI10.1007/s00012-021-00751-4MaRDI QIDQ2238026

Peter Jipsen, Diego Valota, Olim Frits Tuyt

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 algebras; representations; substructural logics; local finiteness; residuated lattices

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

06B15: Representation theory of lattices

06F05: Ordered semigroups and monoids

06F15: Ordered groups

06E75: Generalizations of Boolean algebras

Uses Software

• Prover9
• Mace4