First-order logic based on inclusion and abstraction

Journal of Symbolic Logic 47 (4):793-808 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Logic based on inclusion and abstraction.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (4):145-152.
Peano as logician.Wlllard Van Orman Quine - 1987 - History and Philosophy of Logic 8 (1):15-24.
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.

Analytics

Added to PP
2009-01-28

Downloads
102 (#157,721)

6 months
5 (#247,092)

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

From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
Symbolic Logic, An Introduction.R. M. Martin - 1953 - Philosophy and Phenomenological Research 14 (2):260-261.
An alternative contextual definition for descriptions.John Bacon - 1965 - Philosophical Studies 16 (5):75 - 76.

View all 7 references / Add more references