algebra universalis

, Volume 3, Issue 1, pp 94–97 | Cite as

Free Heyting algebras

  • A. Urquhart


Distributive Lattice Binary Operation Inductive Step Finite Subset Direct Limit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Grätzer,Lattice theory. First concepts and distributive lattices. (W. H. Freeman, San Francisco 1971).MATHGoogle Scholar
  2. [2]
    S. Kripke, Semantical analysis of intuitionistic logic I.Formal systems and recursive functions. (North Holland, Amsterdam, 1965).Google Scholar

Copyright information

© Birkhäuser-Verlag 1973

Authors and Affiliations

  • A. Urquhart
    • 1
  1. 1.University of TorontoClarksonCanada

Personalised recommendations