Gentzen's Method for the Many-Valued Propositional Calculi

Mathematical Logic Quarterly 12 (1):317-332 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120127

Other Versions

reprint Kirin, Vladimir G. (1967) "Gentzen's Method for the Many-Valued Propositional Calculi". Journal of Symbolic Logic 32(4):538-539

Links

PhilArchive



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

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

Review: Vladimir G. Kirin, Gentzen's Method for the Many-Valued Propositional Calculi. [REVIEW]Akira Nakamura - 1967 - Journal of Symbolic Logic 32 (4):538-539.
Many‐Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Mathematical Logic Quarterly 34 (4):343-354.
Formalisations of Many‐Valued Propositional Calculi with Variable Functors.John Jones - 1985 - Mathematical Logic Quarterly 31 (25‐28):403-422.
Some many‐valued propositional calculi without single generators.Alan Rose - 1969 - Mathematical Logic Quarterly 15 (7‐12):105-106.
On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (25‐29):447-464.
About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
Kirin Vladimir G.. On the polynomial representation of operators in the n-valued propositional calculus. Glasnik matematičko-fizički i astronomski , ser. 2 vol. 18 , pp. 3–12. [REVIEW]R. L. Graham - 1972 - Journal of Symbolic Logic 37 (4):756-756.
Some formalisations of N0‐valued propositional calculi.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):204-209.

Analytics

Added to PP
2014-01-16

Downloads
35 (#651,090)

6 months
6 (#879,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

Add more references