Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

Archive for Mathematical Logic 44 (4):473-491 (2004)

An algebraization of multi-signature first-order logic without terms is presented. Rather than following the traditional method of choosing a type of algebras and constructing an appropriate variety, as is done in the case of cylindric and polyadic algebras, a new categorical algebraization method is used: The substitutions of formulas of one signature for relation symbols in another are treated in the object language. This enables the automatic generation via an adjunction of an algebraic theory. The algebras of this theory are then used to algebraize first-order logic
Keywords Algebraic logic  Equivalent deductive systems  Algebraizable logics  Institutions  Equivalent institutions  Algebraizable institutions  Algebraic theories  Monads  Triples  Adjunctions  First-order logic  Cylindric algebras  Polyadic algebras
Categories (categorize this paper)
Reprint years 2005
DOI 10.1007/s00153-004-0266-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,149
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.


Added to PP index

Total views
45 ( #200,459 of 2,289,446 )

Recent downloads (6 months)
3 ( #406,937 of 2,289,446 )

How can I increase my downloads?


My notes

Sign in to use this feature