Finitely generated free Heyting algebras

Journal of Symbolic Logic 51 (1):152-165 (1986)
  Copy   BIBTEX

Abstract

The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
63 (#187,094)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
Atoms in Modal Algebras.Fabio Bellissima - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (19-24):303-312.
Atoms in Modal Algebras.Fabio Bellissima - 1984 - Mathematical Logic Quarterly 30 (19‐24):303-312.

Add more references