Graduate studies at Western
Studia Logica 82 (2):271 - 291 (2006)
|Abstract||Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in , . It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and also in extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties. Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi.|
|Keywords||interpolation definability amalgamation modal logic intuitionistic logic non-classical logics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Finn V. Jensen (1974). Interpolation and Definability in Abstract Logics. Synthese 27 (1-2):251 - 257.
Judit X. Madarász (1998). Interpolation and Amalgamation; Pushing the Limits. Part I. Studia Logica 61 (3):311-345.
Larisa Maksimova (2011). Interpolation and Definability Over the Logic Gl. Studia Logica 99 (1-3):249-267.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Added to index2009-01-28
Total downloads7 ( #142,429 of 739,349 )
Recent downloads (6 months)1 ( #61,538 of 739,349 )
How can I increase my downloads?