The Interpolation Problem in Finite-Layered Pre-Heyting Logics › Research Explorer

Novosibirsk State University's Research Portal

The Interpolation Problem in Finite-Layered Pre-Heyting Logics

Research output: Contribution to journal › Article › peer-review

Section of Algebra and Mathematical Logic

DOI

https://doi.org/10.1007/s10469-019-09533-3
Final published version

L. L. Maksimova
V. F. Yun

Original language	English
Pages (from-to)	144-157
Number of pages	14
Journal	Algebra and Logic
Volume	58
Issue number	2
DOIs	https://doi.org/10.1007/s10469-019-09533-3
Publication status	Published - 15 May 2019

Research areas

Craig’s interpolation property, finite-layered pre-Heyting logic, Johansson algebra, DECIDABILITY, MINIMAL LOGIC, PROPERTY, Craig's interpolation property

OECD FOS+WOS

ID: 21048503