Elementary Predicate Logic

, &
Journal of Symbolic Logic 54 (3):1089-1090 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274768

Links

PhilArchive



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

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: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Life-world constitution of propositional logic and elementary predicate logic.L. Eley - 1972 - Philosophy and Phenomenological Research 32 (3):322-340.
Bisimulations and predicate logic.Tim Fernando - 1994 - Journal of Symbolic Logic 59 (3):924-944.
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.Peter H. Schmitt - 1982 - Mathematical Logic Quarterly 28 (22‐24):323-329.
Arithmetic complexity of the predicate logics of certain complete arithmetic theories.Valery Plisko - 2001 - Annals of Pure and Applied Logic 113 (1-3):243-259.

Analytics

Added to PP
2015-02-05

Downloads
44 (#352,984)

6 months
14 (#168,878)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Wilfrid Hodges
British Academy
Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

On a Straw Man in the Philosophy of Science - A Defense of the Received View.Sebastian Lutz - 2012 - Hopos: The Journal of the International Society for the History of Philosophy of Science 2 (1):77–120.
Remarks on the Theory of Quasi-sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.
Relative identity.Harry Deutsch - 2008 - Stanford Encyclopedia of Philosophy.
Logical aspects of quantum (non-)individuality.Décio Krause - 2010 - Foundations of Science 15 (1):79-94.

View all 32 citations / Add more citations

References found in this work

No references found.

Add more references