Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility

&
Journal of Symbolic Logic 13 (4):177-192 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267133

Links

PhilArchive



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

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

Argumentation schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - New York: Cambridge University Press. Edited by Chris Reed & Fabrizio Macagno.
Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
Introduction.Harvey M. Friedman - unknown
Axiomatizing the Logic of Comparative Probability.John P. Burgess - 2010 - Notre Dame Journal of Formal Logic 51 (1):119-126.
Syntactical Treatments of Propositional Attitudes.Michael Morreau & Sarit Kraus - 1998 - Artificial Intelligence 106 (1):161-177.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Definite descriptions.Charles B. Daniels - 1990 - Studia Logica 49 (1):87 - 104.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cover schemes, frame-valued sets and their potential uses in spacetime physics.John Bell - manuscript

Analytics

Added to PP
2009-01-28

Downloads
89 (#193,069)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.

Add more references