Existence of the least and the greatest elements of a subset of the Lindenbaum algebra

DOI10.21099/tkbjm/1496160295zbMath0608.03019OpenAlexW393250308MaRDI QIDQ1086230

Mitio Takano

Publication date: 1985

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496160295

zbMATH Keywords

provabilityintuitionistic logicclassical logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

This page was built for publication: Existence of the least and the greatest elements of a subset of the Lindenbaum algebra