Projective Beth Property in Extensions of Grzegorczyk Logic |
| |
Authors: | Larisa Maksimova |
| |
Institution: | (1) Sobolev Institute of Mathematics, Siberian Branch of Russian Academy of Sciences, Novosibirsk, 630090, Russia |
| |
Abstract: | 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.
Dedicated to the memory of Willem Johannes Blok |
| |
Keywords: | projective Beth's property modal logic intuitionistic logic decidability epimorphisms surjectivity |
本文献已被 SpringerLink 等数据库收录! |
|