Accesso libero

On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

INFORMAZIONI SU QUESTO ARTICOLO

Cita

The main result of the article is to prove formally that two sets of axioms, proposed by McKenzie and Sholander, axiomatize lattices and distributive lattices, respectively. In our Mizar article we used proof objects generated by Prover9. We continue the work started in [7], [21], and [13] of developing lattice theory as initialized in [22] as a formal counterpart of [11]. Complete formal proofs can be found in the Mizar source code of this article available in the Mizar Mathematical Library (MML).

eISSN:
1898-9934
ISSN:
1426-2630
Lingua:
Inglese
Frequenza di pubblicazione:
Volume Open
Argomenti della rivista:
Computer Sciences, other, Mathematics, General Mathematics