Residuated lattices of size \(\leq 12\)

DOI10.1007/s11083-010-9143-7zbMath1203.06015OpenAlexW1983523891WikidataQ60692014 ScholiaQ60692014MaRDI QIDQ981681

Vilem Vychodil, Radim Bělohlávek

Publication date: 2 July 2010

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-010-9143-7

zbMATH Keywords

algorithmfinite latticefinite residuated lattice

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Ordered semigroups and monoids (06F05)

Related Items

On involutive FL\(_{e}\)-monoids ⋮ Enumerating, cataloguing and classifying all quantales on up to nine elements ⋮ Algorithm for Generating Finite Totally Ordered Monoids ⋮ Generating all finite modular lattices of a given size ⋮ Bonds Between $$L$$-Fuzzy Contexts Over Different Structures of Truth-Degrees

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Counting finite posets and topologies
• Triangular norms on product lattices
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Triangular norms
• Counting finite lattices.
• From semirings to residuated Kleene lattices
• On the fundamentals of fuzzy set theory
• L-fuzzy sets
• The logic of inexact concepts
• THE STRUCTURE OF RESIDUATED LATTICES
• An Inductive Algorithm to Construct Finite Lattices
• On Fuzzy Logic I Many‐valued rules of inference
• The Asymptotic Number of Lattices
• Asymptotic Enumeration of Partial Orders on a Finite Set
• Abstract residuation over lattices
• Residuated Lattices
• The number of unlabeled orders on fourteen elements