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) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEdward Baŀuka (1965). On Verification of the Expressions of Many-Valued Sentential Calculi. I. Studia Logica 17 (1):53 - 73.
J. C. C. McKinsey (1944). On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. Journal of Symbolic Logic 9 (2):42-45.
Pierluigi Minari (1983). Completeness Theorems for Some Intermediate Predicate Calculi. Studia Logica 42 (4):431 - 441.
Norihiro Kamide (2009). Proof Systems Combining Classical and Paraconsistent Negations. Studia Logica 91 (2):217 - 238.
Jacek Hawranek & Jan Zygmunt (1984). On the Degree of Complexity of Sentential Logics.II. An Example of the Logic with Semi-Negation. Studia Logica 43 (4):405 - 413.
Grzegorz Malinowski & Marek Michalczyk (1982). That SCI has the Interpolation Property. Studia Logica 41 (4):375 - 380.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Tomasz Fukmanowski (1982). Adjoint Interpretations of Sentential Calculi. Studia Logica 41 (4):359 - 374.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads17 ( #71,199 of 549,754 )Recent downloads (6 months)4 ( #19,337 of 549,754 )How can I increase my downloads? |
My notes
Discussion
