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

Links

PhilArchive



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

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 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.
A functional calculus of first order based on strict implication.Ruth Barcan Marcus - 1946 - [n. p.,: [N. P..
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.
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.
Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
The identity of individuals in a strict functional calculus of second order.Ruth C. Barcan - 1947 - Journal of Symbolic Logic 12 (1):12-15.
The Identity of Individuals in a Strict Functional Calculus of Second Order.Ruth C. Barcan - 1947 - Journal of Symbolic Logic 12 (3):95-96.
The Identity of Individuals in a Strict Functional Calculus of Second Order.Ruth C. Barcan - 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.
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.
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Physicalism and strict implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.

Analytics

Added to PP
2017-02-21

Downloads
17 (#843,162)

6 months
3 (#1,023,809)

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..
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.

View all 44 citations / Add more citations

References found in this work

No references found.

Add more references