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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
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.
The identity of individuals in a strict functional calculus of second order.Ruth C. Barcan - 1947 - Journal of Symbolic Logic 12 (1):12-15.
First-order functional calculus.Geoffrey Bourton Keene - 1963 - New York,: Dover Publications.
Strict implication, deducibility and the deduction theorem.Ruth Barcan Marcus - 1953 - Journal of Symbolic Logic 18 (3):234-236.
Emch's calculus and strict implication.C. I. Lewis - 1936 - Journal of Symbolic Logic 1 (3):77-86.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.

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.
Contingent objects and the Barcan formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references