Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls

Mathematical Logic Quarterly 34 (2):177-188 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19880340210

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls.Klaus Denecke - 1988 - Mathematical Logic Quarterly 34 (2):177-188.
Ein Vollständiger Ableitungsbegriff Für Die Äquivalenz in Einem Funktionell Unvollständigen Dreiwertigen Aussagenkalkül.H. Rohleder - 1976 - Mathematical Logic Quarterly 23 (25‐26):401-404.
Tarski A.. Über die Erweiterungen der unvollständigen Systeme des Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, Heft 7, pp. 51–57. [REVIEW]Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):116-116.
Über die Verwendung eines Aussagenkalküls bei der Synthese von Rechenwerken.Hans Rohleder - 1957 - Mathematical Logic Quarterly 3 (13‐20):292-302.
Funktional‐Rekursion.Jürgen Hauck - 1972 - Mathematical Logic Quarterly 18 (1‐3):31-36.
Funktional‐Rekursion.Jürgen Hauck - 1972 - Mathematical Logic Quarterly 18 (1-3):31-36.
Eine syntaktisch‐algebraische methode zur konstruktion Von modellen.Mario Rodríguez Artalejo - 1981 - Mathematical Logic Quarterly 27 (2‐6):59-71.
Eine Syntaktisch‐Algebraische Methode Zur Konstruktion Von Modellen.Mario Rodríguez Artalejo - 1981 - Mathematical Logic Quarterly 27 (2-6):59-71.

Analytics

Added to PP
2013-12-01

Downloads
68 (#309,051)

6 months
16 (#185,084)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
Einführung in die mathematische Logik.G. Asser - 1963 - Studia Logica 14:343-345.

Add more references