Download PDF - Interpolation in Normal Extensions of the Brouwer LogicCC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0, Opens in new tab

ArticleOriginal scientific text

Title

Interpolation in Normal Extensions of the Brouwer Logic

Authors

Abstract

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

Keywords

ENG
normal extensions of the Brouwer logics, Kripke frames, interpolation property, amalgamation property
Bulletin of the Section of Logic
2016/45/3/4
Export to PBN, Opens in new tab
Main language of publication
English
Published
2016

DOI: 10.18778/0138-0680.45.3.4.03

Humanities