A Decision Method for the Universal Theorems of Quine's New Foundations

&
Mathematical Logic Quarterly 28 (13):181-187 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19820281303

Other Versions

reprint Krenovič, V. Ja; Oswald, Urs (1982) "A Decision Method for the Universal Theorems of Quine's New Foundations". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28(13):181-187

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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 Typed Properties in Quine's “New Foundations”.André Pétry - 1979 - Mathematical Logic Quarterly 25 (7-12):99-102.
On the Typed Properties in Quine's “New Foundations”.André Pétry - 1979 - Mathematical Logic Quarterly 25 (7‐12):99-102.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1‐3):1-18.
A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m‐Valued Logic.John Loader - 1974 - Mathematical Logic Quarterly 20 (1-3):1-18.
On the consistency of Quine's new foundations for mathematical logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.
Definition by Indication in Quine's New Foundations for Mathematical Logic.Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (1):33-33.
Definition by induction in Quine's new foundations for mathematical logic.Barkley Bosser - 1939 - Journal of Symbolic Logic 4 (2):80-81.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,198,632)

6 months
8 (#603,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Term models for weak set theories with a universal set.T. E. Forster - 1987 - Journal of Symbolic Logic 52 (2):374-387.

Add more citations

References found in this work

No references found.

Add more references