Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

被引：2

作者：

Kawano, Tomoaki ^{[1
]}

Matsuda, Naosuke ^{[2
]}

Takagi, Kento ^{[3
]}

机构：

[1] Ferris Univ, Informat Ctr, Yokohama, Kanagawa, Japan

[2] Niigata Inst Technol, Dept Engn, Niigata, Japan

[3] Tokyo Inst Technol, Dept Math & Comp Sci, Tokyo, Japan

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2022年 / 63卷 / 02期

关键词：

  Kripke semantics; propositional connective; classical logic; intuitionistic logic;

D O I：

10.1215/00294527-2022-0016

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper, we study general propositional connectives characterized by truth functions and provide a necessary and sufficient condition for intuitionistic logic that coincides with classical logic.

引用

页码：243 / 259

页数：17

共 50 条

[1] Intuitionistic choice and classical logic
Thierry Coquand
Erik Palmgren
[J]. Archive for Mathematical Logic, 2000, 39 : 53 - 74
[2] Intuitionistic choice and classical logic
Coquand, T
Palmgren, E
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 39 (01) : 53 - 74
[3] Intuitionistic choice and restricted classical logic
Kohlenbach, U
[J]. MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (04) : 455 - 460
[4] LOGICAL CONNECTIVES FOR INTUITIONISTIC PROPOSITIONAL LOGIC
MCCULLOUGH, DP
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) : 15 - +
[5] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC
MYHILL, J
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 93 - 96
[6] What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
Matsuda, Naosuke
Takagi, Kento
[J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 175 - 189
[7] Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
Pagin, Peter
[J]. DAG PRAWITZ ON PROOFS AND MEANING, 2015, 7 : 259 - 280
[8] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
WOJCICKI, R
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
[9] An intuitionistic characterization of classical logic
Hsiung, Ming
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2008, 37 (04) : 299 - 317
[10] AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC
Ming Hsiung
[J]. Journal of Philosophical Logic, 2008, 37 : 299 - 317

← 1 2 3 4 5 →