INVESTIGADORES
PAILOS Federico Matias
artículos
Título:
Disjoint Logics
Autor/es:
PAILOS, FEDERICO MATÍAS
Revista:
LOGIC AND LOGICAL PHILOSOPHY
Editorial:
Nicolaus Copernicus University in Torun
Referencias:
Lugar: Torun; Año: 2021 p. 109 - 137
ISSN:
1425-3305
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 to build philosophical interpretations for each of these logics, and show why the kind of permeability that characterized them is not such a bad feature. Finally, we will present a three-side sequent system for most of these logics.