The Interpolation Problem in Finite-Layered Pre-Heyting Logics

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish
Pages (from-to)144-157
Number of pages14
JournalAlgebra and Logic
Volume58
Issue number2
DOIs
Publication statusPublished - 15 May 2019

Keywords

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

Fingerprint

Dive into the research topics of 'The Interpolation Problem in Finite-Layered Pre-Heyting Logics'. Together they form a unique fingerprint.

Cite this