Boolean and Heyting Algebras
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 30)
In this chapter we discuss two well-known algebras as specially structured lattices and prove some of their properties as well as present some semantic interpretations of these structures.
Unable to display preview. Download preview PDF.
© Kluwer Academic Publishers 1993