The Order-Theoretic Structure of Free Heyting Algebras

Simple item page
dc.creatorO'Connor, Michael
dc.date2007-02-22
dc.date2007-03-28
dc.date.accessioned2026-07-07T07:54:05Z
dc.date.available2026-07-07T07:54:05Z
dc.descriptionWe find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.
dc.identifierhttps://arxiv.org/abs/math/0702675
dc.identifierhttp://arxiv.org/abs/math/0702675
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/126466
dc.subjectLogic
dc.subject03F55
dc.titleThe Order-Theoretic Structure of Free Heyting Algebras
dc.typetext

Files

Collections

arXiv