Rolf Schock. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 , pp. 43–58. Errata. Ibid., p. 195. - Rolf Schock. On denumerably many-valued logics.Logique et analyse, n.s. vol. 7 , pp. 190–195. - R. Schock. Some theorems on the relative strengths of many-valued logics.Logique et analyse, n.s. vol. 8 , pp. 101–104 [Book Review]

Journal of Symbolic Logic 35 (1):140-142 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092537

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics. [REVIEW]Robert K. Meyer - 1970 - Journal of Symbolic Logic 35 (1):140-142.
On denumerably many-valued logics.Rolf Schock - 1964 - Logique Et Analyse 28:190.
On finitely many-valued logics.Rolf Schock - 1964 - Logique Et Analyse 25 (26):43-58.
On Finitely Many-Valued Logics.On Denumerably Many-Valued Logics.Some Theorems on the Relative Strengths of Many-Valued Logics.Rolf Schock & R. Schock - 1970 - Journal of Symbolic Logic 35 (1):140-142.
Schock Rolf. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 , pp. 77–80.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):105-106.
Axiomatization of infinite-valued logics.J. Barkley Rosser - 1960 - Logique Et Analyse 3 (1):137-153.
A resolution principle for a class of many-valued logics.Charles G. Morgan - 1976 - Logique Et Analyse 19 (74-76):311-339.
Les activités du centre national de recherche de logique en 1973.R. Schock - 1973 - Logique Et Analyse:599.
An algorithm for axiomatizing and theorem proving in finite many - valued propositional logics.W. A. Carnielli - 1985 - Logique Et Analyse 28 (12):363.
Rosser J. Barkley. Axiomatization of infinite valued logics. Logique et analyse , n.s. vol. 3 , pp. 137–153.Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (1):111-112.
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Dividing by zero.R. Schock - 1982 - Logique Et Analyse 25 (98):213.
Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.
An algorithm for axiomatizing and theorem proving in finite many-valued propositional logics* Walter A. Carnielli.Proving in Finite Many-Valued Propositional - forthcoming - Logique Et Analyse.
Rapport des activités du C.N.R.L.R. Schock - 1974 - Logique Et Analyse:511.

Analytics

Added to PP
2016-06-30

Downloads
23 (#681,424)

6 months
5 (#637,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Identity and modality.John Woods - 1975 - Philosophia 5 (1-2):69-120.

Add more citations

References found in this work

No references found.

Add more references