Artículo
Disjoint logics
Fecha de publicación:
27/03/2021
Editorial:
Nicolaus Copernicus University
Revista:
Logic And Logical Philosophy
ISSN:
1425-3305
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them regarding their relative strength. We will also provide a recipe for building philosophical interpretations for each of these logics, and show why the kind of permeability that characterises them is not such a bad feature. Finally, we will present a three-side sequent system for most of these logics.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IIF)
Articulos de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Articulos de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Citación
Pailos, Federico Matias; Disjoint logics; Nicolaus Copernicus University; Logic And Logical Philosophy; 30; 1; 27-3-2021; 109-137
Compartir
Altmétricas