Projective Beth property in extensions of Grzegorczyk logic

被引：5

作者：

Maksimova L. ^{[1
]}

机构：

[1] Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences

来源：

Studia Logica | 2006年 / 83卷 / 1-3期

基金：

俄罗斯基础研究基金会;

关键词：

Decidability; Epimorphisms surjectivity; Intuitionistic logic; Modal logic; Projective Beth's property;

D O I：

10.1007/s11225-006-8309-1

中图分类号：

学科分类号：

摘要：

All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property. © Springer 2006.

引用

页码：365 / 391

页数：26

共 50 条

[1] Restricted Interpolation and the Projective Beth Property in Equational Logic
L. L. Maksimova
Algebra and Logic, 2003, 42 (6) : 398 - 406
[2] Superintuitionistic logics and the projective Beth property
Maksimova L.L.
Algebra and Logic, 1999, 38 (6) : 374 - 382
[3] The Beth property in algebraic logic
Blok W.J.
Hoogland E.
Studia Logica, 2006, 83 (1-3) : 49 - 90
[4] The Lyndon property and uniform interpolation over the Grzegorczyk logic
L. L. Maksimova
Siberian Mathematical Journal, 2014, 55 : 118 - 124
[5] The Lyndon property and uniform interpolation over the Grzegorczyk logic
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2014, 55 (01) : 118 - 124
[6] The projective beth property and interpolation in positive and related logics
Maksimova L.L.
Algebra and Logic, 2006, 45 (1) : 49 - 66
[7] The projective Beth property in well-composed logics
Maksimova, L. L.
ALGEBRA AND LOGIC, 2013, 52 (02) : 116 - 136
[8] Decidability of the projective beth property in varieties of Heyting algebras
Maksimova L.L.
Algebra and Logic, 2001, 40 (3) : 159 - 165
[9] The projective Beth property in well-composed logics
L. L. Maksimova
Algebra and Logic, 2013, 52 : 116 - 136
[10] Intermediate predicate logic without the Beth property
Shreiner P.A.
Algebra and Logic, 1998, 37 (1) : 59 - 64

← 1 2 3 4 5 →