On the consistency of a three-valued logical calculus

Topoi 3 (1):3-12 (1984)
  Copy   BIBTEX

Abstract

[This résumé was published in English in Matematicheskii Sbornik along with the article.]The present paper contains an investigation of a three-valued logical calculus (the system) previously described by the author [Recueil Mathématique 4 (46), 2 (1938)].

Categories

Keywords

Reprint years

DOI

10.1007/bf00136115

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture.J. Y. Girard - 1976 - Warszawa: Państwowe Wydawn. Naukowe.
On a Three Valued Calculus and Its Application to the Analysis of Contradictories.D. A. Bochvar - 1939 - Matematicheskii Sbornik 4 (2):287-308.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
M-valued sub-system of (m+n)-valued propositional calculus.Tzu-Hua Hoo - 1949 - Journal of Symbolic Logic 14 (3):177-181.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.

Analytics

Added to PP
2009-01-28

Downloads
114 (#157,157)

6 months
5 (#648,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references