Review: Ruth C. Barcan, The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication [Book Review]

Journal of Symbolic Logic 12 (3):95-95 (1947)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267231

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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: Ruth C. Barcan, A Functional Calculus of First Order Based on Strict Implication. [REVIEW]W. V. Quine - 1946 - Journal of Symbolic Logic 11 (3):96-97.
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 Identity of Individuals in a Strict Functional Calculus of Second Order. [REVIEW]W. V. Quine - 1958 - Journal of Symbolic Logic 23 (3):342-342.
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.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.
A Functional Calculus of First Order Based on Strict Implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (3):96-97.
A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..

Analytics

Added to PP
2013-11-22

Downloads
17 (#863,251)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ruth Barcan Marcus and quantified modal logic.Frederique Janssen-Lauret - 2021 - British Journal for the History of Philosophy 30 (2):353-383.
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.

Add more citations

References found in this work

No references found.

Add more references