Absolute L-Realizability and Intuitionistic Logic

被引：4

作者：

Konovalov, A. Yu ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119991, Russia

来源：

MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2019年 / 74卷 / 02期

关键词：

D O I：

10.3103/S0027132219020086

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

An absolute L-realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.

引用

页码：79 / 82

页数：4

共 50 条

[31] RELATIVIZED REALIZABILITY IN INTUITIONISTIC ARITHMETIC OF ALL FINITE TYPES
GOODMAN, ND
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (01) : 23 - 44
[32] BROUWER,L.E.J - TOWARD INTUITIONISTIC LOGIC
FRANCHELLA, M
[J]. HISTORIA MATHEMATICA, 1995, 22 (03) : 304 - 322
[33] RECURSIVE REALIZABILITY AND CONSTRUCTIVE LOGIC OF PREDICATES
PLISKO, VE
[J]. DOKLADY AKADEMII NAUK SSSR, 1974, 214 (03): : 520 - 523
[34] General Recursive Realizability and Basic Logic
Konovalov, A. Yu.
[J]. ALGEBRA AND LOGIC, 2020, 59 (05) : 367 - 384
[35] General Recursive Realizability and Basic Logic
A. Yu. Konovalov
[J]. Algebra and Logic, 2020, 59 : 367 - 384
[36] Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic
Angelova, Nora A.
Atanassov, Krassimir T.
[J]. PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1578 - 1584
[37] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC
MYHILL, J
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 93 - 96
[38] Unification in intuitionistic logic
Ghilardi, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 859 - 880
[39] INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC
VELDMAN, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 159 - 166
[40] Intuitionistic autoepistemic logic
Amati G.
Carlucci-Aiello L.
Pirri F.
[J]. Studia Logica, 1997, 59 (1) : 103 - 120

← 1 2 3 4 5 →