Free Heyting algebras

• 1 December 1973
• journal article
• research article
• Published by Springer Nature in Algebra universalis
• Vol. 3  (1) , 94-97
• https://doi.org/10.1007/bf02945107

Abstract

Keywords

• DISTRIBUTIVE LATTICE
• BINARY OPERATION
• INDUCTIVE STEP
• FINITE SUBSET
• DIRECT LIMIT