Finitary Algebraic Logic

Roger D. Maddux

Mathematical Logic Quarterly 35 (4):321-332 (1989) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.1002/malq.19890350405

Other Versions

reprint

Maddux, Roger D. (1989) "Finitary Algebraic Logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35(4):321-332

Links

PhilArchive

Upload a copy of this work Papers currently archived: 107,589

External links

From the Publisher via CrossRef (no proxy)

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Finitary algebraic logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.

Algebraic Logic.H. Andréka, James Donald Monk & I. Németi - 1991 - North Holland.

Boolean Powers in Algebraic Logic.Aubert Daigneault - 1971 - Mathematical Logic Quarterly 17 (1):411-420.

Algebraic Semantics for Modal Predicate Logic.James B. Freeman - 1976 - Mathematical Logic Quarterly 22 (1):523-552.

Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.

Algebraic Analysis of The Term Logic with Choice Operator.Dietrich Schwartz - 1981 - Mathematical Logic Quarterly 27 (22):345-352.

Algebraic Analysis of the Topological Logic L(I).George Georgescu - 1982 - Mathematical Logic Quarterly 28 (27‐32):447-454.

Algebraic Dependence Structures.Vlastimil Dlab - 1966 - Mathematical Logic Quarterly 12 (1):345-377.

Categorical languages for algebraic structures.W. S. Hatcher & A. Shafaat - 1975 - Mathematical Logic Quarterly 21 (1):433-438.

Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (26-30):421-438.

Analytics

Added to PP
2013-12-01

Downloads
32 (#853,054)

6 months
11 (#494,760)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3):485 - 569.

Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.

Complexity of equations valid in algebras of relations part I: Strong non-finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.

Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.

On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.Tarek Sayed Ahmed - 2015 - Mathematical Logic Quarterly 61 (6):418-477.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references