Many-Sorted Quantification

Journal of Symbolic Logic 31 (1):123-124 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270651

Links

PhilArchive



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

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: Nicholas Rescher, Many-Sorted Quantification. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
Rescher Nicholas. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 447–453. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
Quantification of the predicate and many-sorted logic.William Tuthill Parry - 1966 - Philosophy and Phenomenological Research 26 (3):342-360.
The ineliminability of non-nominal quantification.David Dolby - unknown
Wittgenstein's Theory of Quantification.T. F. Baxley - 1980 - International Logic Review 21:46.
Semantics for mass terms with quantifiers.Peter Roeper - 1983 - Noûs 17 (2):251-265.
A tableau calculus for partial functions.Manfred Kerber Michael Kohlhase - unknown
On what there are.Philippe de Rouilhan - 2002 - Proceedings of the Aristotelian Society 102 (2):183–200.
On What There Are.Philippe De Rouilhan - 2002 - Proceedings of the Aristotelian Society 102:183 - 200.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
Extending Metacompleteness to Systems with Classical Formulae.Ross T. Brady - 2011 - Australasian Journal of Logic 8:9-30.
Non-traditional squares of predication and quantification.Mireille Staschok - 2008 - Logica Universalis 2 (1):77-85.
Theories whose quantification cannot be substitutional.T. S. Weston - 1974 - Noûs 8 (4):361-369.
Aristotle's Many-sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.

Analytics

Added to PP
2015-02-05

Downloads
16 (#907,028)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Rescher
University of Pittsburgh

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references