Extendible Formulas in Two Variables in Intuitionistic Logic

被引：4

作者：

Bezhanishvili, Nick ^{[1
]}

de Jongh, Dick ^{[2
]}

机构：

[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2AZ, England

[2] Univ Amsterdam, ILLC, NL-1090 GE Amsterdam, Netherlands

来源：

STUDIA LOGICA | 2012年 / 100卷 / 1-2期

基金：

英国工程与自然科学研究理事会;

关键词：

intuitionistic logic; universal models; projective formulas; exact formulas; extendible formulas; PROPOSITIONAL LOGIC; HEYTING ALGEBRAS;

D O I：

10.1007/s11225-012-9389-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi's theorem that every extendible formula is projective.

引用

页码：61 / 89

页数：29

共 21 条

[1] [Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science
[2] Arevadze N., 2001, THESIS U AMSTERDAM
[3] FINITELY GENERATED FREE HEYTING ALGEBRAS
BELLISSIMA, F
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (01) : 152 - 165
[4] Bezhanishvili N., 2006, Lattices of intermediate and cylindric modal logics
[5] Burris R, 1981, COURSE UNIVERSAL ALG
[6] Chagrov A., 1997, Modal Logic
[7] de Jongh D., 1982, LEJ BROUW CENT S
[8] de Jongh D, 2011, LECT NOTES ARTIF INT, V6618, P53, DOI 10.1007/978-3-642-22303-7_5
[9] THE DECIDABILITY OF DEPENDENCY IN INTUITIONISTIC PROPOSITIONAL LOGIC
DEJONGH, D
CHAGROVA, LA
[J]. JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (02) : 498 - 504
[10] DEJONGH D, 1968, THESIS U WISCONSIN

← 1 2 3 →