Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle

&
Mathematical Logic Quarterly 6 (15-22):303-318 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19600061508

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,667

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

Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls.Klaus Härtig - 1960 - Mathematical Logic Quarterly 6 (15-22):240-247.
Schröter Karl. Axiomatisierung der Fregeschen Aussagenkalküle. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 8. Leipzig 1943, 26 pp. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):69-69.
Axiomatisierung der Fregeschen Aussagenkalkule.Karl Schroter - 1944 - Journal of Symbolic Logic 9 (3):69-69.
Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Mathematical Logic Quarterly 4 (12‐16):175-177.
Ein verfahren zur umformung einer linearen nebenbedingung in eine äquivalente alternative normalform.Gunter Bär - 1969 - Mathematical Logic Quarterly 15 (7‐12):163-180.
Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.
Zur Präfixoptimalität Gewisser ∄ … ∄‐Darstellungen Aufzählbarer Prädikate.Michael Deutsch - 1976 - Mathematical Logic Quarterly 22 (1):339-346.
Ein Verfahren Zum Aufsuchen Minimaler Ausdrücke.Hans Rohleder - 1963 - Mathematical Logic Quarterly 9 (8‐9):125-140.
Eine Axiomatisierung der Mehrwertigen Logiken von Gödel.Wilhelm Kubin - 1979 - Mathematical Logic Quarterly 25 (33):549-558.
Bemerkungen Zu Der Von Asser Entwickelten Version Der Turing‐Maschine.Peter H. Starke - 1960 - Mathematical Logic Quarterly 6 (7‐14):106-108.

Analytics

Added to PP
2013-11-24

Downloads
74 (#300,048)

6 months
9 (#404,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Add more citations

References found in this work

No references found.

Add more references