Formalization of quasilattices

DOI10.2478/FORMA-2020-0019zbMATH Open1496.68375OpenAlexW3145098521MaRDI QIDQ2113839FDOQ2113839

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

Recommendations

• On weakly associative lattices and near lattices
• On two alternative axiomatizations of lattices by McKenzie and Sholander
• Completion and amalgamation of bounded distributive quasi lattices
• A compendium of continuous lattices in MIZAR
• On atoms in the lattice of quasivarieties

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)

Cites Work

• Mizar: State-of-the-art and Beyond
• Lattice Theory: Foundation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanizing complemented lattices within Mizar type system
• Title not available (Why is that?)
• ATP and presentation service for Mizar formalizations
• Mathematical Knowledge Management
• Automated deduction in equational logic and cubic curves
• Title not available (Why is that?)
• Mathematical Knowledge Management
• Axioms for lattices and Boolean algebras
• The role of the Mizar mathematical library for interactive proof development in Mizar
• On two alternative axiomatizations of lattices by McKenzie and Sholander

Cited In (4)

• Title not available (Why is that?)
• On weakly associative lattices and near lattices
• Magic squares, finite planes and simple quasilattices.
• Automatization of ternary Boolean algebras

Uses Software

• Mizar
• Prover9
• Mace4

This page was built for publication: Formalization of quasilattices

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