On a generalization of all strong kleene generalizations of classical logic
In his 2016 article On All Strong Kleene Generalizations of Classical Logic, Stefan Wintein provides a detailed and comprehensive semantic and tableau-based analysis of the consequence relations that can be defined over the four-valued Belnap–Dunn semantics. These include familiar consequence relati...
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2025 |
| País: | España |
| Institución: | Universidad de Navarra |
| Repositorio: | Dadun. Depósito Académico Digital de la Universidad de Navarra |
| Idioma: | inglés |
| OAI Identifier: | oai:dadun.unav.edu:10171/116202 |
| Acceso en línea: | https://hdl.handle.net/10171/116202 |
| Access Level: | acceso abierto |
| Palabra clave: | Non-classical logics Substructural logics Belnap–Dunn semantics Mixedlogics Tableaux Metainferences |
| Sumario: | In his 2016 article On All Strong Kleene Generalizations of Classical Logic, Stefan Wintein provides a detailed and comprehensive semantic and tableau-based analysis of the consequence relations that can be defined over the four-valued Belnap–Dunn semantics. These include familiar consequence relations like FDE, which takes {t, b} as the set of designated values, but also much less familiar relations that don’t follow the designatedvalue strategy (i.e. defining logical consequence as preservation of a set of values). It turns out that many of the interesting features of these relations are made evident at the level of metainferences and, although Wintein discusses some aspects of metainferences, his work does not provide a systematic way to decide on the validity of metainferences for these logics. In this paper, we extend Wintein’s tableaux from inferences to metainferences. The paper ends with a discussion about different ways in which we can understand the notion of metainference validity. |
|---|