References
K. A. Bowen,Model theory for non-classical logics, S. Banach Center, Warsaw, 1973.
K. A. Bowen,Model theory for intuitionistic logic (preprint).
A. Daigneault,Théorie des modéles en logique mathématique, Montreal, 1969.
A. Daigneault andD. Monk,Representation theory for polyadic algebras, Fund. Math.,52 (1963), 151–176.
M. Fitting,Intuitionistic logic, model theory and forcing, North-Holland, Amsterdam, 1969.
J. B. Freeman,Algebraic semantics for modal predicate logic, Z.f. math. Logik and Grund. d. Math.,22 (1976) 523–552.
G. Georgescu,Modal polyadic algebras, Bull. Math. de la Soc. Sci. Math. de la R.S. de Roumanie,23, Nr. 1. (1979), 49–64.
P. R. Halmos,Algebraic logic, Chelsea, New York, 1962.
J. S. Johnson,Amalgamation of polyadic algebras, Trans. Amer. Math. Soc.,149 (1970), 627–652.
J. Kotas andA. Pieczkowski,On a generalized cylindrical algebra and intuitionistic logic, Studia Logica, XVIII, (1966), 73–80.
J. D. Monk,Polyadic Heyting algebras, Notices Amer. Math. Soc..,7 (1966) 735.
J. D. Monk,Some problems in algebraic logic, Colloque de Logique, (Clermont-Ferrand, 1975), Editions du CNRS, 1977.
A. Monteiro andA. Varsavski,Algebras de Heyting monadicas, Notas de Logica Mathematica, Universidad National del Sur, Bahia Blanca, 1956.
H. Rasiowa,An algebraic approach to non-classical logic, North-Holland, Amsterdam, 1974.
R. H. Thomason,On the strong semantical completeness of the intuitionistic predicate calculus, J. Symb. Logic,33 Nr. 1, 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Georgescu, G. A representation theorem for polyadic Heyting algebras. Algebra Universalis 14, 197–209 (1982). https://doi.org/10.1007/BF02483920
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02483920