Propositional functions and families of types

Notre Dame Journal of Formal Logic 30 (3):442-458 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635159

Links

PhilArchive



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

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

On the identification of properties and propositional functions.George Bealer - 1989 - Linguistics and Philosophy 12 (1):1 - 14.
Remarks on propositional functions.Richard L. Cartwright - 2005 - Mind 114 (456):915-927.
On coherent families of finite-to-one functions.Piotr Koszmider - 1993 - Journal of Symbolic Logic 58 (1):128-138.
PM's Circumflex, Syntax and Philosophy of Types.Kevin Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.
Type Theory and Homotopy.Steve Awodey - unknown
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Types and Functions since Principia.Fairouz Kamareddine - unknown
Irreducible higher order functions in natural language.Jan van Eijck - unknown
Quantifier decomposition.Jan van Eijck - unknown
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.
The functions of Russell’s no class theory.Kevin C. Klement - 2010 - Review of Symbolic Logic 3 (4):633-664.

Analytics

Added to PP
2010-08-24

Downloads
9 (#1,246,467)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references