Studia Logica 66 (2):253-271 (2000)
|Abstract||We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics to full logics. On the base of the lattices constructed, we formulate the main classification principles for propositional logics.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Guram Bezhanishvili (2001). Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67 (1):89-109.
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Alex Citkin (2010). Metalogic of Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 51 (4):485-502.
Piotr Wojtylak (1991). On Structural Completeness of Implicational Logics. Studia Logica 50 (2):275 - 297.
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Charles E. Hughes (1976). Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability. Journal of Symbolic Logic 41 (1):39-44.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
A. Avron (2000). Implicational F-Structures and Implicational Relevance Logics. Journal of Symbolic Logic 65 (2):788-802.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads3 ( #201,730 of 548,984 )
Recent downloads (6 months)0
How can I increase my downloads?