A Functional Calculus of First Order Based on Strict Implication

Journal of Symbolic Logic 11 (3):96-97 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266766

Other Versions

original Barcan, Ruth C. (1946) "A functional calculus of first order based on strict implication". Journal of Symbolic Logic 11(1):1-16

Links

PhilArchive



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

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..
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.
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.
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
2017-02-21

Downloads
21 (#1,013,103)

6 months
4 (#1,264,753)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
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.

View all 43 citations / Add more citations

References found in this work

No references found.

Add more references