تقرير
On three-valued presentations of classical logic
العنوان: | On three-valued presentations of classical logic |
---|---|
المؤلفون: | da Ré, Bruno, Szmuc, Damian, Chemla, Emmanuel, Égré, Paul |
سنة النشر: | 2023 |
المجموعة: | Mathematics |
مصطلحات موضوعية: | Mathematics - Logic, 03B05, 03B47, 03B50 |
الوصف: | 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\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap 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. Comment: Review of Symbolic Logic |
نوع الوثيقة: | Working Paper |
DOI: | 10.1017/S1755020323000114 |
URL الوصول: | http://arxiv.org/abs/2312.16035 |
رقم الأكسشن: | edsarx.2312.16035 |
قاعدة البيانات: | arXiv |
DOI: | 10.1017/S1755020323000114 |
---|