From forcing to satisfaction in Kripke models of intuitionistic predicate logic

被引：2

作者：

Abiri, Maryam ^{[1
]}

Moniri, Morteza ^{[1
]}

Zaare, Mostafa ^{[2
]}

机构：

[1] Shahid Beheshti Univ, Dept Math, GC, Tehran, Iran

[2] Damghan Univ, Sch Math & Comp Sci, Damghan, Iran

来源：

LOGIC JOURNAL OF THE IGPL | 2018年 / 26卷 / 05期

关键词：

Kripke model; intuitionistic predicate logic; forcing; satisfiability; SUBMODELS;

D O I：

10.1093/jigpal/jzy007

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this paper, we answer a natural question concerning the relation between forcing and satisfaction in Kripke models of intuitionistic predicate logic. We define a class of formulas denoted by R*, with the property that forcing of any R*-formula in a node of a Kripke model of intuitionistic predicate logic implies its satisfaction in the classical structure attached to that node. We also prove that any formula with this property is an R*-formula.

引用

页码：464 / 474

页数：11

共 9 条

[1]

[Anonymous], 2004, LOGIC STRUCTURE, DOI DOI 10.1007/978-3-540-85108-0

[2] INTUITIONISTIC VALIDITY IN T-NORMAL KRIPKE STRUCTURES [J].