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 条

[11] Esakia L., 1977, B SECTION LOGIC, V6, P46
[12] Unification in intuitionistic logic
Ghilardi, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 859 - 880
[13] A SHEAF REPRESENTATION AND DUALITY FOR FINITELY PRESENTED HEYTING ALGEBRAS
GHILARDI, S
ZAWADOWSKI, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (03) : 911 - 939
[14] GRIGOLIA R, 1987, FREE ALGEBRAS NONCLA
[15] Grigolia R., 2011, PROJECTIVE FOR UNPUB
[16] ON AN INTERPRETATION OF 2ND-ORDER QUANTIFICATION IN 1ST ORDER INTUITIONISTIC PROPOSITIONAL LOGIC
PITTS, AM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) : 33 - 52
[17] Renardel de Lavalette G., 2010, J LOGIC COMPUTATION
[18] Rybakov V. V., 1992, J SYMBOLIC LOGIC, V57, P33
[19] Shehtman Valentin B., 1978, Dokl. Akad. Nauk SSSR, V19, P1014
[20] van Dalen D., 1986, Handbook of Philosophical Logic, VIII, P225

← 1 2 3 →