Some theorems about the sentential calculi of Lewis and Heyting
Journal of Symbolic Logic 13 (1):1-15 (1948)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2268135
My notes
Similar books and articles
On verification of the expressions of many-valued sentential calculi. I.Edward Baŀuka - 1965 - Studia Logica 17 (1):53 - 73.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
On the number of complete extensions of the Lewis systems of sentential calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Analytics
Added to PP
2009-01-28
Downloads
101 (#124,655)
6 months
4 (#185,521)
2009-01-28
Downloads
101 (#124,655)
6 months
4 (#185,521)
Historical graph of downloads
Citations of this work
Hedges: A study in meaning criteria and the logic of fuzzy concepts. [REVIEW]George Lakoff - 1973 - Journal of Philosophical Logic 2 (4):458 - 508.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..