Completeness of the infinitary polyadic axiomatization

Mathematical Logic Quarterly 39 (1):197-200 (1993)
  Copy   BIBTEX

Abstract

The present note is a reworking and streamlining of Daigneault and Monk's Representation Theory for Polyadic Algebras. MSC: 03G15

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390122

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Completeness of the infinitary polyadic axiomatization.Isidore Flesicher - 1993 - Mathematical Logic Quarterly 39 (1):197-200.
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.Dumitru Daniel Drăgulici - 2006 - Archive for Mathematical Logic 45 (5):601-613.
Algebraic Logic for Rational Pavelka Predicate Calculus.Daniel Drăgulici & George Georgescu - 2001 - Mathematical Logic Quarterly 47 (3):315-326.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
On the complexity of axiomatizations of the class of representable quasi‐polyadic equality algebras.Tarek Sayed Ahmed - 2011 - Mathematical Logic Quarterly 57 (4):384-394.
A categorical approach to polyadic algebras.Roch Ouellet - 1982 - Studia Logica 41 (4):317 - 327.
Aubert Daigneault. Freedom in polyadic algebras and two theorems of Beth and Craig. The Michigan mathematical journal, vol. 11 , pp. 129–135. - Aubert Daigneault. On automorphisms of polyadic algebras. Transactions of the American Mathematical Society, vol. 112 , pp. 84–130. [REVIEW]William Craig - 1971 - Journal of Symbolic Logic 36 (2):337-338.
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.
On Complete Representations of Reducts of Polyadic Algebras.Tarek Sayed Ahmed - 2008 - Studia Logica 89 (3):325-332.

Analytics

Added to PP
2013-12-01

Downloads
31 (#732,022)

6 months
5 (#1,053,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.

Add more references