The Interpolation Problem in Finite-Layered Pre-Heyting Logics


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

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.

About the authors

L. L. Maksimova

Sobolev Institute of Mathematics; Novosibirsk State University, ul

Author for correspondence.
Email: lmaksi@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090

V. F. Yun

Sobolev Institute of Mathematics; Novosibirsk State University, ul

Email: lmaksi@math.nsc.ru
Russian Federation, pr. Akad. Koptyuga 4, Novosibirsk, 630090; Pirogova 1, Novosibirsk, 630090

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2019 Springer Science+Business Media, LLC, part of Springer Nature