First-order logic

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Translate to english

Revision history

Categories

Logic and Philosophy of Logic, General Works in Logic and Philosophy of Logic

Predicate Logic in Logic and Philosophy of Logic

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 101,458

External links

hdl.handle.net (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Only published works are available at libraries.

My notes

Sign in to use this feature

Similar books and articles

The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann - 2024 - Journal of Symbolic Logic 89 (1):308-330.

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.

First‐Order Logic.Roger Fellows - 1996 - Philosophical Books 37 (4):284-286.

First-order logic.Jon Barwise - 1977 - In Handbook of mathematical logic. New York: North-Holland.

First-Order Logic. [REVIEW]Barbara Hannan - 1995 - Teaching Philosophy 18 (3):278-280.

First-Order Logic. [REVIEW]James W. McGray - 2000 - Teaching Philosophy 23 (4):402-406.

First-order Logic. [REVIEW]Jonathan E. Adler - 2000 - Journal of Philosophy 97 (10):577-580.

Taming first-order logic.Szabolcs Mikulás - 1998 - Logic Journal of the IGPL 6 (2):305-316.

First-order logic: an introduction.Leigh S. Cauman - 1998 - New York: Walter de Gruyter.

A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.

Analytics

Added to PP
2010-07-23

Downloads
48 (#459,103)

6 months
6 (#862,561)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.

Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Paris

Add more references