A proof of Sobocinski's conjecture concerning a certain set of lattice theoretical formulas

DOI10.1305/ndjfl/1093887731zbMath0322.02053OpenAlexW1993224046WikidataQ123308553 ScholiaQ123308553MaRDI QIDQ1223287

Thomas A. Sudkamp

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887731

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05)

This page was built for publication: A proof of Sobocinski's conjecture concerning a certain set of lattice theoretical formulas