First-order Logic

Journal of Symbolic Logic 40 (2):237-238 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271907

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

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Review: Raymond M. Smullyan, First-order Logic. [REVIEW]William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Review: Raymond M. Smullyan, First-Order Logic. [REVIEW]Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351-351.
Second-order logic : ontological and epistemological problems.Marcus Rossberg - 2006 - Dissertation, St Andrews
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Is Hintikka's Logic First-Order?Matti Eklund & Daniel Kolak - 2002 - Synthese 131 (3):371-388.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
Chapter 9a what is logic?J. R. Lucas - manuscript
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.
Do Not Claim Too Much: Second-order Logic and First-order Logic.Stewart Shapiro - 1998 - Philosophia Mathematica 6 (3):42-64.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
A second course in logic.Christopher Gauker - manuscript
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.

Analytics

Added to PP
2017-02-21

Downloads
34 (#456,993)

6 months
14 (#170,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.
The Consistency Argument for Ranking Functions.Franz Huber - 2007 - Studia Logica 86 (2):299-329.
Mental models and the tractability of everyday reasoning.Mike Oaksford - 1993 - Behavioral and Brain Sciences 16 (2):360-361.

View all 128 citations / Add more citations

References found in this work

No references found.

Add more references