A functional calculus of first order based on strict implication

Journal of Symbolic Logic 11 (1):1-16 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269159

Other Versions

reprint Barcan, Ruth C. (1946) "A Functional Calculus of First Order Based on Strict Implication". Journal of Symbolic Logic 11(3):96-97

Links

PhilArchive



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

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

A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..
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.
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.
Marcus Ruth Barcan. Strict implication, deducibility, and the deduction theorem. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):294-294.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Canada Vancouver - forthcoming - History and Philosophy of Logic:1-21.
Lewis C. I.. Emch's calculus and strict implication.Charles A. Baylis - 1937 - Journal of Symbolic Logic 2 (1):46-46.

Analytics

Added to PP
2009-01-28

Downloads
417 (#68,687)

6 months
10 (#404,653)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.

View all 72 citations / Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.

Add more references