Abstract
It is shown that a locally finite polyadic algebra on an infinite set V of variables is a Boolean-algebra object, endowed with some internal supremum morphism, in the category of locally finite transformation sets on V. Then, this new categorical definition of polyadic algebras is used to simplify the theory of these algebras. Two examples are given: the construction of dilatations and the definition of terms and constants.
Similar content being viewed by others
References
Aubert Daigneault, Operations in polyadic algebras, Transactions of the American Mathematical Society 158 (1971) pp. 219–229.
Paul R. Halmos, Algebraic Logic, Chelsea Publishing Company, New York, 1962.
Felix W. Lawvere, Functorial semantics of algebraic theories, Ph. D. Thesis, Columbia University, New York, 1963.
Léon Leblanc, Introduction à la logique algébrique, Les Presses de l'Université de Montréal, Montréal, 1967.
Roch Ouellet, Inclusive first-order logic, Studia Logica 40 (1981), pp. 13–28.
Horst Schubert, Categories, Springer-Verlag, Berlin, 1972.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ouellet, R. A categorical approach to polyadic algebras. Stud Logica 41, 317–327 (1982). https://doi.org/10.1007/BF00403331
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00403331