Die nichtaxiomatisierbarkeit Des unendlichwertigen prädikatenkalküls Von łukasiewicz

Journal of Symbolic Logic 27 (2):159-170 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964111

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Die Nichtaxiomatisierbarkeit des Unendlichwertigen Prädikatenkalküls von Łukasiewicz.Bruno Scarpellini - 1964 - Journal of Symbolic Logic 29 (3):145-145.
Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz. The journal of symbolic logic, vol. 27 no. 2 , pp. 159–170.Alan Rose - 1964 - Journal of Symbolic Logic 29 (3):145.
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.Matthias Ragaz - 1983 - Archive for Mathematical Logic 23 (1):141-146.
Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems. [REVIEW]A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):607-609.
Über Eine Art von Unvollständigkeit des Prädikatenkalküls der Ersten Stufe.Gisbert Hasenjaeger - 1951 - Journal of Symbolic Logic 16 (2):146-146.
Review: Gisbert Hasenjaeger, Uber Eine Art von Unvollstandigkeit des Pradikatenkalkuls der Ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
Hasenjaeger Gisbert. Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Reglen.Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke Spezieller Gestalt.Kurt Hauschild - 1973 - Journal of Symbolic Logic 38 (1):161-161.
Ein Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.

Analytics

Added to PP
2009-01-28

Downloads
50 (#309,483)

6 months
4 (#1,004,582)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.

View all 20 citations / Add more citations

References found in this work

Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Add more references