Abstract
In this paper we show that there are many examples of adequate models for intuitionistic predicate logic (IPL) which appear in algebra and logic. We present a class of lattices, which are complete Heyting algebras, such that every lattice from this class is adequate for IPL in the sense that for every formula which cannot be derived in IPL and for every lattice L from the class there is a model of IPL over L in which the formula is not valid.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B.Banaschewski and C. J. Mulvey, Stone-Cech compactification of locales I, Houston Journal of Math.Vol 6, No. 3, (1980),p. 301.
P.Crawley and R.P.Dilworth, Algebraic theory of lattices, Prentice Hall, Englewood Cliffs, N.J. (1973).
R.Engelking, General Topology, PWN, Warsaw, (1977).
G.Gratzer, General Lattice Theory, Akademie-Verlag, Berlin (1978).
I.Moerdijk, Some topological spaces which are universal for intuitionistic predicate logic, Nederl. Akad. Wetensch. Ind. Math., 44, (1982),No. 2, 227–235.
H.Rasiowa and R.Sikorski, Mathematics of the Metamathematics,PWN, Warsaw (1970).
A.Tarski, Sentential calculus and Topology, in: Logic, Semantics Meta-mathematics: Papers from 1923 to 1938 (tran.J.H.Woodger), Oxford University Press, Oxford (1956).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
Dzik, W. (1990). Lattices Adequate for Intuitionistic Predicate Logic. In: Petkov, P.P. (eds) Mathematical Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0609-2_20
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0609-2_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-7890-0
Online ISBN: 978-1-4613-0609-2
eBook Packages: Springer Book Archive