Formalization of quasilattices

DOI10.2478/FORMA-2020-0019zbMath1496.68375OpenAlexW3145098521MaRDI QIDQ2113839

Adam Grabowski, Dominik Kulesza

Publication date: 14 March 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2020-0019

zbMATH Keywords

lattice theoryquasilatticeabsorption law

Mathematics Subject Classification ID

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

Related Items (2)

On weakly associative lattices and near lattices ⋮ Automatization of ternary Boolean algebras

Uses Software

• Mizar
• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mechanizing complemented lattices within Mizar type system
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Automated deduction in equational logic and cubic curves
• ATP and presentation service for Mizar formalizations
• On two alternative axiomatizations of lattices by McKenzie and Sholander
• Lattice Theory: Foundation
• Mizar: State-of-the-art and Beyond
• Mathematical Knowledge Management
• Mathematical Knowledge Management

This page was built for publication: Formalization of quasilattices