Enviar artigo por via de e-mail The Interpolation Problem in Finite-Layered Pre-Heyting Logics
- Autores: Maksimova L.L.1,2, Yun V.F.1,2
-
Afiliações:
- Sobolev Institute of Mathematics
- Novosibirsk State University, ul
- Edição: Volume 58, Nº 2 (2019)
- Páginas: 144-157
- Seção: Article
- URL: https://journals.rcsi.science/0002-5232/article/view/234128
- DOI: https://doi.org/10.1007/s10469-019-09533-3
- ID: 234128
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
The interpolation problem over Johansson’s minimal logic J is considered. We introduce a series of Johansson algebras, which will be used to prove a number of necessary conditions for a J-logic to possess Craig’s interpolation property (CIP). As a consequence, we deduce that there exist only finitely many finite-layered pre-Heyting algebras with CIP.
Sobre autores
L. Maksimova
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Autor responsável pela correspondência
Email: lmaksi@math.nsc.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
V. Yun
Sobolev Institute of Mathematics; Novosibirsk State University, ul
Email: lmaksi@math.nsc.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090
Arquivos suplementares
