Formalization of trellises and tolerance relations

DOI10.2478/FORMA-2024-0022MaRDI QIDQ6966292zbMATH OpenFDO

Authors Adam Grabowski, Franciszek Turowski

Publication date 30 June 2025

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0022

zbMATH Keywords

tolerancetrellisweakly associative lattice

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Generalizations of lattices (06B75) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Automated deduction in equational logic and cubic curves
• Axioms for lattices and Boolean algebras
• Formalizing lattice-theoretical aspects of rough and fuzzy sets
• scientific article; zbMATH DE number 3427125 (Why is no real title available?)
• scientific article; zbMATH DE number 3679888 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Lattice theory for rough sets -- a case study with Mizar
• Lattice Theory: Foundation
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• Mechanizing complemented lattices within Mizar type system
• On fuzzy negations and laws of contraposition. Lattice of fuzzy negations
• On weakly associative lattices and near lattices
• Some examples of weakly associative lattices
• Trellis theory
• Triangular norms on bounded trellises
• Uninorms on bounded trellises
• Weakly associative lattices and tolerance relations

This page was built for publication: Formalization of trellises and tolerance relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6966292)