Spatiality and classical logic

被引：1

作者：

Stefanova, Milena ^{[2
]}

Valentini, Silvio ^{[1
]}

机构：

[1] Univ Padua, Dipartimento Matemat Pura & Applicata, Padua, Italy

[2] Agenzia Nazl Nuove Tecnol Energia & Sviluppo Econ, Tech Unit Environm Assessment Models Methods & Te, Bologna, Italy

来源：

关键词：

Inductively generated formal topology; spatiality theorem; FORMAL TOPOLOGIES;

D O I：

10.1002/malq.201010020

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：432 / 440

页数：9

共 50 条

[1] EMBEDDING CLASSICAL LOGIC IN INTUITIONISTIC LOGIC
MYHILL, J
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 93 - 96
[2] SUBJECT IN CLASSICAL LOGIC AND SPECULATIVE LOGIC
Popescu, Dragos
[J]. BALKAN JOURNAL OF PHILOSOPHY, 2021, 13 (02) : 123 - 132
[3] Quantal logic vs classical logic
Saito, Nobuhiko
[J]. PROGRESS OF THEORETICAL PHYSICS, 2006, 116 (04): : 615 - 629
[4] Paraconsistency in classical logic
Pulcini, Gabriele
Varzi, Achille C.
[J]. SYNTHESE, 2018, 195 (12) : 5485 - 5496
[5] On the Costs of Classical Logic
Luca Castaldo
[J]. Erkenntnis, 2023, 88 : 1157 - 1188
[6] Noncontractive Classical Logic
Rosenblatt, Lucas
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2019, 60 (04) : 559 - 585
[7] CLASSICAL LOGIC AND THE LIAR
Stephanou, Yannis
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2020, 29 (01) : 35 - 56
[8] On the Costs of Classical Logic
Castaldo, Luca
[J]. ERKENNTNIS, 2023, 88 (03) : 1157 - 1188
[9] Paraconsistency in classical logic
Gabriele Pulcini
Achille C. Varzi
[J]. Synthese, 2018, 195 : 5485 - 5496
[10] CLASSICAL LOGIC AND INCONSISTENCY
BULL, RA
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 208 - 208