| dc.contributor.author | Kostrzycka, Zofia | |
| dc.date.accessioned | 2017-07-10T12:08:37Z | |
| dc.date.available | 2017-07-10T12:08:37Z | |
| dc.date.issued | 2016 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/22184 | |
| dc.description.abstract | The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | en_GB |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;3/4 | |
| dc.subject | normal extensions of the Brouwer logics | en_GB |
| dc.subject | Kripke frames | en_GB |
| dc.subject | interpolation property | en_GB |
| dc.subject | amalgamation property | en_GB |
| dc.title | Interpolation in Normal Extensions of the Brouwer Logic | en_GB |
| dc.type | Article | en_GB |
| dc.rights.holder | © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016 | en_GB |
| dc.page.number | [171]-184 | |
| dc.contributor.authorAffiliation | Opole University of Technology | |
| dc.identifier.eissn | 2449-836X | |
| dc.references | J. F. A. K. van Benthem, I. I. Humberstone, Halldén-completeness by Gluing of Kripke Frames, Notre Dame Journal of Formal Logic 24, No 4 (1983), pp. 426–430. | en_GB |
| dc.references | M. Byrd, D. Ullrich,The extensions of BAlt3, Journal of Philosophical Logic 6 (1977), pp. 109–117. | en_GB |
| dc.references | M. Byrd, The extensions of BAlt3-revisited, Journal of Philosophical Logic 7 (1978), pp. 407–413. | en_GB |
| dc.references | A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35, (1997). | en_GB |
| dc.references | J. Czelakowski, Logical matrices and the amalgamation property, SL 41 (4), (1981), pp. 329–341. | en_GB |
| dc.references | D. M. Gabbay, Craig’s interpolation theorem for modal logics, [in:] W. Hodges, editor, Proceedings of logic conference, London 1970, Vol. 255 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, (1972), pp. 111–127. | en_GB |
| dc.references | S. Halldén, On the semantic non-completeness of certain Lewis calculi, The Journal of Symbolic Logic 16 (1951), pp. 127–129. | en_GB |
| dc.references | Z. Kostrzycka, On Modal Systems in the Neighbourhood of the Brouwer Logic, Acta Universitatis Wratislaviensis No 3238, Logika 25, Wydawnictwo Uniwersytetu Wrocławskiego, Wrocław (2010). | en_GB |
| dc.references | Z. Kostrzycka, On interpolation and Halld´en-completeness in NEXT(KTB), Bulletin of the Section of Logic 41:1/2 (2012), pp. 23–32. | en_GB |
| dc.references | Z. Kostrzycka, Y. Miyazaki, Normal modal logics determined by aligned clusters, Studia Logica (2017), pp. 105–111. | en_GB |
| dc.references | Z. Kostrzycka, On Hallden completeness of modal logics determined by homogeneous Kripke frames, Bulletin of the Section of Logic 44:3/4 (2015), pp. 1–20. | en_GB |
| dc.references | Z. Kostrzycka, All splitting logics in the lattice NEXT(KTB.3'), Scientific Issues Jan D lugosz University in Częstochowa, Mathematics XXI (2016), pp. 31–61. | en_GB |
| dc.references | E. J. Lemmon, A note on Halld´en-incompleteness, Notre Dame Journal of Formal Logic, VII, No 4, (1966), pp. 296–300. | en_GB |
| dc.references | L. Maksimowa, Amalgamation and Interpolation in Normal Modal Logics, Studia Logica, Vol. 50 (3/4), (1991), pp. 457–471. | en_GB |
| dc.references | J. C. C. McKinsey, Systems of modal logics which are not unreasonable in the sense of Hallden, Journal of Symbolic Logic 18 (1953), pp. 109–113. | en_GB |
| dc.references | G. F. Schumm, Some failures of interpolatin in modal logic, Notre Dame Journal of Formal Logic 27 (1), (1986), pp. 108–110. | en_GB |
| dc.contributor.authorEmail | z.kostrzycka@po.opole.pl | |
| dc.identifier.doi | 10.18778/0138-0680.45.3.4.03 | |
| dc.relation.volume | 45 | en_GB |
