A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
Journal of Symbolic Logic 39 (1):67-78 (1974)
| 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,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
Camillo Fiorentini (2000). All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete. Journal of Symbolic Logic 65 (4):1576-1604.
Ágnes Kurucz (2000). Arrow Logic and Infinite Counting. Studia Logica 65 (2):199-222.
Dmitrij Skvortsov (1997). Not Every "Tabular" Predicate Logic is Finitely Axiomatizable. Studia Logica 59 (3):387-396.
Valentin Shehtman (1990). Modal Counterparts of Medvedev Logic of Finite Problems Are Not Finitely Axiomatizable. Studia Logica 49 (3):365 - 385.
Mauro Ferrari & Pierangelo Miglioli (1993). Counting the Maximal Intermediate Constructive Logics. Journal of Symbolic Logic 58 (4):1365-1401.
Larisa L. Maksimova (1986). On Maximal Intermediate Logics with the Disjunction Property. Studia Logica 45 (1):69 - 75.
Wiesław Dziobiak (1982). On Finite Approximability of Ψ-Intermediate Logics. Studia Logica 41 (1):67 - 73.
Alexander Chagrov & Michael Zakharyashchev (1991). The Disjunction Property of Intermediate Propositional Logics. Studia Logica 50 (2):189 - 216.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,761 of 551,007 )Recent downloads (6 months)1 ( #63,425 of 551,007 )How can I increase my downloads? |
My notes
Discussion
