Algebraic Logic II. Homogeneous Locally Finite Polyadic Boolean Algebras of Infinite Degree

Journal of Symbolic Logic 23 (2):222-223 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964418

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: Paul R. Halmos, Algebraic Logic II. Homogeneous Locally Finite Polyadic Boolean Algebras of Infinite Degree. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):222-223.
A categorical approach to polyadic algebras.Roch Ouellet - 1982 - Studia Logica 41 (4):317 - 327.
The class of infinite dimensional neat reducts of quasi‐polyadic algebras is not axiomatizable.Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (1):106-112.
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.Dumitru Daniel Drăgulici - 2006 - Archive for Mathematical Logic 45 (5):601-613.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.
P ≠ NP for all infinite Boolean algebras.Mihai Prunescu - 2003 - Mathematical Logic Quarterly 49 (2):210-213.
Boolean Algebras With A Distinguished Automorphism.M. Abad, J. P. D.\'{\I.}az Varela & M. Zander - 2003 - Reports on Mathematical Logic:101-112.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
On the equational theory of representable polyadic equality algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Turning decision procedures into disprovers.André Rognes - 2009 - Mathematical Logic Quarterly 55 (1):87-104.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (4):1121 - 1138.
On Complete Representations of Reducts of Polyadic Algebras.Tarek Sayed Ahmed - 2008 - Studia Logica 89 (3):325-332.

Analytics

Added to PP
2015-02-05

Downloads
34 (#458,553)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The algebra of logic tradition.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references