Finitely generated free Heyting algebras: the well-founded initial segment
From MaRDI portal
Publication:4899176
DOI10.2178/jsl.7704140zbMath1272.03163OpenAlexW1999789292MaRDI QIDQ4899176
Publication date: 7 January 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315589
Related Items (2)
The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Cites Work
This page was built for publication: Finitely generated free Heyting algebras: the well-founded initial segment