Pages that link to "Item:Q286797"
From MaRDI portal
The following pages link to Mechanizing complemented lattices within Mizar type system (Q286797):
Displaying 13 items.
- Stone lattices. (Q271910) (← links)
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- Binary relations-based rough sets -- an automated approach (Q502682) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- Pappus's hexagon theorem in real projective plane (Q2119545) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Automatization of ternary Boolean algebras (Q2171519) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Pascal's theorem in real projective plane (Q2407506) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
