Categorical abstract algebraic logic categorical algebraization of first-order logic without terms (English)
- New search for: Voutsadakis, George
- New search for: Voutsadakis, George
In:
Archive for Mathematical Logic
;
44
, 4
;
473-491
;
2004
- Article (Journal) / Electronic Resource
-
Title:Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
-
Contributors:Voutsadakis, George ( author )
-
Published in:Archive for Mathematical Logic ; 44, 4 ; 473-491
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin/Heidelberg
-
Publication date:2004-09-08
-
Size:19 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:Primary: 03Gxx , 18Cxx , Secondary: 08Bxx , 08Cxx , 68N05 , Algebraic logic , Equivalent deductive systems , Algebraizable logics , Institutions , Equivalent institutions , Algebraizable institutions , Algebraic theories , Monads , Triples , Adjunctions , First-order logic , Cylindric algebras , Polyadic algebras
-
Source:
Table of contents – Volume 44, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 397
-
Epsilon substitution for transfinite inductionTowsner, Henry et al. | 2004
- 413
-
Standard completeness theorem for ΠMTLHorĉík, Rostislav et al. | 2004
- 425
-
The γ-borel conjectureMiller, Arnold W. et al. | 2004
- 435
-
A proof-theoretical investigation of global intuitionistic (fuzzy) logicCiabattoni, Agata et al. | 2004
- 459
-
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theoremHodel, R.E. et al. | 2004
- 473
-
Categorical abstract algebraic logic categorical algebraization of first-order logic without termsVoutsadakis, George et al. | 2004
- 493
-
On a problem of Foreman and MagidorApter, Arthur W. et al. | 2004
- 499
-
Mad families, forcing and the Suslin HypothesisKurilić, Miloš S. et al. | 2004
- 513
-
Diamond principles in Cichoń’s diagramMinami, Hiroaki et al. | 2004