Affiliation:
1. IIF-SADAF-CONICET/University of Buenos Aires
Abstract
Abstract
We investigate the class of all pure three-valued logics that result from choosing the eight subsets of $\{0, 1, \frac {1}{2}\}$ as designated values on the strong Kleene schema, including the sets that are not (order) filters. We present some of their main characteristics and show some formal relations between these logics. We also suggest a recipe to build philosophical interpretations for most of these logics and show why it is not easy to apply this account to the last two logics in the list.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference29 articles.
1. Validities, antivalidities and contingencies: a multi-standard approach;Barrio;Journal of Philosophical Logic,2021
2. A useful four-valued logic;Belnap,1977
3. From many-valued consequence to many-valued connectives;Chemla;Synthese
4. Suszko’s problem: mixed consequence and compositionality;Chemla;Review of Symbolic Logic,2019
5. Characterizing logical consequence in many-valued logics;Chemla;Journal of Logic and Computation,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. About Metainferences;Trends in Logic;2023