Keywords
- Boolean Algebra
- Distributive Lattice
- Heyting Algebra
- NATO Advance Study Institute
- Universal Term
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.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. E. Adams, Implicational classes of pseudo-complemented distributive lattices, J. London Math. Soc. (2) 13 (1976), 381–384.
R. Balbes and P. Dwinger, Distributive Lattices, Univ. Missouri Press, Columbia, Miss., 1974.
J. Berman and P. Kohler, Cardinalities of finite distributive lattices, Mitt. Math. Sem. Giessen 121 (1976), 103–124.
B. A. Davey and D. Duffus, Exponentiation and duality, Ordered Sets, NATO Advanced Study Institute Series 83, D. Reidel Publishing Co., Dordrecht, Holland, 1982, 43–95.
G. Gentzen, Untersuchungen uber das logische Schliessen, Math. Z., vol. 39 (1934), 176–210.
G. Gratzer, Lattice Theory: First Concepts and Distributive Lattices, Freeman, San Francisco, California, 1971.
J. R. Isbell, On the problem of universal terms, Bull. de l’Academie Polonaise des Sciences XIV (1966).
K. B. Lee, Equational classes of distributive pseudo-complemented lattices, Canad. J. Math. 22 (1970), 881–891.
G. McNulty, Decidable properties of finite sets of equations, Journal Symb. Logic, 41 (1976), 589–604.
J. Mycielski, Can one solve equations in groups?, Amer. Math. Monthly 84 (1977), 723–726.
I. Nishimura, On formulas of one variable in intuitionistic propositional calculus, J. Symbolic Logic 25(1960), 327–331.
O. Ore, Some remarks on commutators, Proc. Amer. Math. Soc. 2 (1951), 307–314.
D. Pigozzi, The universality of the variety of quasigroups, Journal Australian Math. Soc. (Series A), XXI (1976), 194–219.
H. A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2(1970), 186–190.
H. A. Priestley, Ordered sets and duality for distributive lattices, Proc. Conf on Ordered Sets and their Applications, Lyon, 1982, North Holland Series Ann. Discrete Math.
D. M. Silberger, When is a term point universal?, Algebra Universalis, 10 (1980), 135–154.
A. Urquhart, Free distributive pseudo-complemented lattices, Algebra Univeralis 3(1973), 13–15.
A. Urquhart, Free Heyting algebras, Algebra Universalis 3(1973) 94–97.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Adams, M.E., Clark, D.M. (1985). Universal terms for pseudo-complemented distributive lattices and Heyting algebras. In: Comer, S.D. (eds) Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol 1149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0098451
Download citation
DOI: https://doi.org/10.1007/BFb0098451
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15691-8
Online ISBN: 978-3-540-39638-3
eBook Packages: Springer Book Archive
