ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC

被引：2

作者：

Da Re, Bruno ^{[1
,2
]}

Szmuc, Damian ^{[1
,2
]}

Chemla, Emmanuel ^{[3
]}

Egre, Paul ^{[4
]}

机构：

[1] IIF CONICET SADAF, Buenos Aires, DF, Argentina

[2] Univ Buenos Aires, Dept Philosophy, Buenos Aires, DF, Argentina

[3] EHESS, LSCP CNRS, ENS PSL, Paris, France

[4] EHESS, Inst Jean Nicod CNRS, ENS PSL, Paris, France

来源：

REVIEW OF SYMBOLIC LOGIC | 2024年 / 17卷 / 03期

关键词：

classical logic; strict-tolerant logics; three-valued logics; logical consequence; CONSEQUENCE; TRUTH;

D O I：

10.1017/S1755020323000114

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations st , ss , tt , ss n tt , and ts , when the connectives are negation, conjunction, and disjunction. For ts and ss n tt the answer is trivial (no scheme works), and for ss and tt it is straightforward (they are the collapsible schemes, in which the middle value acts like one of the classical values). For st , the schemes in question are the Boolean normal schemes that are either monotonic or collapsible.

引用

页码：682 / 704

页数：23

共 50 条

[41] On Prior's three-valued modal logic Q
Akama, S
Nagata, Y
35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 14 - 19
[42] Three-valued temporal logic Qt and future contingents
Akama S.
Nagata Y.
Yamada C.
Studia Logica, 2008, 88 (2) : 215 - 231
[43] An implementation of tautological analysis of some three-valued logic
Rogulski, Daniel
Wesserling, Janusz
Mulawka, Jan
PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2015, 2015, 9662
[44] SQL's Three-Valued Logic and Certain Answers
Libkin, Leonid
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2016, 41 (01):
[45] A three-valued logic approach to partially known formal concepts
She, Yanhong
Wang, Wei
He, Xiaoli
Du, Yan
Liu, Yaoyao
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019, 37 (02) : 3053 - 3064
[46] Complexity of Functions from Some Classes of Three-Valued Logic
Dagaev, D. A.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (03) : 133 - 135
[47] Completeness criterion for the enumeration closure operator in three-valued logic
Marchenkov, Sergey S.
DISCRETE MATHEMATICS AND APPLICATIONS, 2020, 30 (01): : 1 - 6
[48] Three-valued quasi-linear transformation for logic synthesis
Besslich, PW
Trachtenberg, EA
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1996, 143 (06): : 391 - 400
[49] Towards an Algebraic Topos Semantics for Three-valued Godel Logic
Aguzzoli, Stefano
Codara, Pietro
IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
[50] Closed Classes Generated by Symmetric Functions in the Three-Valued Logic
Mikhailovich, A. V.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2008, 63 (04) : 168 - 170

← 1 2 3 4 5 →