Review: William Craig, Logic in Algebraic Form. Three Languages and Theories [Book Review]

Journal of Symbolic Logic 42 (1):108-109 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Satisfaction for n-th order languages defined in n-th order languages.William Craig - 1965 - Journal of Symbolic Logic 30 (1):13-25.
Review: F. William Lawvere, Functional Semantics of Algebraic Theories. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):340-341.
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.
Bases for first-order theories and subtheories.William Craig - 1960 - Journal of Symbolic Logic 25 (2):97-142.
Decidable fragments of field theories.Shih-Ping Tung - 1990 - Journal of Symbolic Logic 55 (3):1007-1018.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Some remarks on the bearing of model theory on the theory of theories.William Demopoulos - 2008 - Synthese 164 (3):359 - 383.
Review: N. Chomsky, M. P. Schutzenberger, The Algebraic Theory of Context-Free Languages. [REVIEW]G. H. Matthews - 1967 - Journal of Symbolic Logic 32 (3):388-389.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.

Analytics

Added to PP
2013-11-22

Downloads
4 (#1,590,841)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references