Mechanizing complemented lattices within Mizar type system
From MaRDI portal
Publication:286797
DOI10.1007/s10817-015-9333-5zbMath1356.68189WikidataQ59407587 ScholiaQ59407587MaRDI QIDQ286797
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9333-5
03B35: Mechanization of proofs and logical operations
06C15: Complemented lattices, orthocomplemented lattices and posets
Uses Software