Formalization of quasilattices
From MaRDI portal
Publication:2113839
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
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)
Uses Software
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)