David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 82 (2):271 - 291 (2006)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Alexander Chagrov (1997). Modal Logic. Oxford University Press.
Helena Rasiowa (1974). An Algebraic Approach to Non-Classical Logics. Warszawa,Pwn - Polish Scientific Publishers.
Helena Rasiowa (1963). The Mathematics of Metamathematics. Warszawa, Państwowe Wydawn. Naukowe.
Dov M. Gabbay (1986). Semantical Investigations in Heyting's Intuitionistic Logic. Journal of Symbolic Logic 51 (3):824-824.
William Craig (1957). Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. Journal of Symbolic Logic 22 (3):269-285.
Citations of this work BETA
No citations found.
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 downloads123 ( #32,113 of 1,911,732 )
Recent downloads (6 months)8 ( #81,598 of 1,911,732 )
How can I increase my downloads?