A functional calculus of first order based on strict implication

[n. p.,: [N. P. (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

BC135.M317

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

  • This entry has no external links. Add one.
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

A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
Barcan Ruth C.. A functional calculus of first order based on strict implication. [REVIEW]W. V. Quine - 1946 - Journal of Symbolic Logic 11 (3):96-97.
The deduction theorem in a functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (4):115-118.
Review: Ruth C. Barcan, The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. [REVIEW]W. V. Quine - 1947 - Journal of Symbolic Logic 12 (3):95-95.
Barcan. Ruth C. The identity of individuals in a strict functional calculus of second order. [REVIEW]W. V. Quine - 1947 - Journal of Symbolic Logic 12 (3):95-96.
Marcus Ruth Barcan. Strict implication, deducibility, and the deduction theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
Review: Ruth C. Barcan, The Identity of Individuals in a Strict Functional Calculus of Second Order. [REVIEW]W. V. Quine - 1958 - Journal of Symbolic Logic 23 (3):342-342.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Canada Vancouver - forthcoming - History and Philosophy of Logic:1-21.

Analytics

Added to PP
2010-05-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Transworld identity.Penelope Mackie - forthcoming - Stanford Encyclopedia of Philosophy.
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.
Metaphysics.Jonas Raab & Chris Daly - 2021 - In Marcus Rossberg, The Cambridge Handbook of Analytic Philosophy. Cambridge University Press.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references