Formalization of quasilattices

DOI10.2478/FORMA-2020-0019MaRDI QIDQ2113839zbMATH OpenOpenAlexFDO

Authors Dominik Kulesza, Adam Grabowski

Publication date 14 March 2022

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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)

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

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3598538 (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?)
• ATP and presentation service for Mizar formalizations
• Automated deduction in equational logic and cubic curves
• Axioms for lattices and Boolean algebras
• Lattice Theory: Foundation
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• Mechanizing complemented lattices within Mizar type system
• Mizar: state-of-the-art and beyond
• On two alternative axiomatizations of lattices by McKenzie and Sholander
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(5)

• On two alternative axiomatizations of lattices by McKenzie and Sholander
• scientific article; zbMATH DE number 1406433 (Why is no real title available?)
• On weakly associative lattices and near lattices
• Magic squares, finite planes and simple quasilattices.
• Automatization of ternary Boolean algebras

Describes a project that uses

Uses Software

• Mace4
• Prover9
• Mizar

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)