Algebraic Logic

, &
North Holland (1991)
  Copy   BIBTEX

Abstract

This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Joacute;nsson.

Categories

Keywords

Reprint years

ISBN(s)

0444885439   9780444885432

Links

PhilArchive



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

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

Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Finitary algebraic logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.
Logic in Algebraic Form: Three Languages and Theories.Stephen D. Comer - 1974 - New York, NY, USA: American Elsevier.
Algebraic and Logic Programming.Michael Hanus, Jan Heering & Karl Meinke - 1997 - Springer Verlag.
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Algebraic and Logic Programming 4th International Cconference, Alp '94, Madrid, Spain, September 14-16, 1994 : Proceedings'.G. Levi & International Conference on Algebraic and Logic Programming - 1994
Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.
An introduction to algebraic logic.Stephen Anthony Kiss - 1961 - Westport, Conn.,: Westport, Conn..
Algebraic Logic.S. G. Gindikin & Robert H. Silverman - 1987 - Journal of Symbolic Logic 52 (2):565-567.

Analytics

Added to PP
2015-02-02

Downloads
20 (#703,484)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references