|
This article is cited in 19 scientific papers (total in 19 papers)
A method of proving interpolation in paraconsistent extensions of the minimal logic
L. L. Maksimova Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
The interpolation property in extensions of Johansson's minimal logic is investigated. The construction of a matched product of models is proposed, which allows us to prove the interpolation property in a number of known extensions of the minimal logic. It is shown that, unlike superintuitionistic, positive, and negative logics, a sum of $\mathrm J$-logics with the interpolation property CIP may fail to possess CIP, nor even the restricted interpolation property.
Keywords:
interpolation property, paraconsistent extension, Johansson's minimal logic.
Received: 02.06.2005
Citation:
L. L. Maksimova, “A method of proving interpolation in paraconsistent extensions of the minimal logic”, Algebra Logika, 46:5 (2007), 627–648; Algebra and Logic, 46:5 (2007), 341–353
Linking options:
https://www.mathnet.ru/eng/al318 https://www.mathnet.ru/eng/al/v46/i5/p627
|
Statistics & downloads: |
Abstract page: | 370 | Full-text PDF : | 92 | References: | 56 | First page: | 3 |
|