Publicación: Characterizing finite-valuedness
Cargando...
Fecha
2018-08-15
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Elsevier
Resumen
We introduce properties of consequence relations that provide abstract counterparts of different notions of finite-valuedness in logic. In particular, we obtain characterizations of logics that are determined (i) by a single finite matrix, (ii) by a finite set of finite matrices, and (iii) by a set of n-generated matrices for some natural number n. A crucial role is played in our proofs by two closely related notions, local tabularity and local finiteness.
Descripción
Este es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Fuzzy Sets and Systems, 345 (2018), pp. 113-125; está disponible en línea en el sitio web del editor: https://doi.org/10.1016/j.fss.2017.10.014
This is the accepted manuscript of the article. The registered version was first published in Fuzzy Sets and Systems, 345 (2018), pp. 113-125; It is available online at the publisher's website: https://doi.org/10.1016/j.fss.2017.10.014
Categorías UNESCO
Palabras clave
logical matrix semantics, many-valuedness, finite-valuedness, strong finiteness, local tabularity, local finiteness, cancellation, finite- determinedness
Citación
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio,, Characterizing finite-valuedness. Fuzzy Sets and Systems, 345 (2018), pp. 113-125; https://doi.org/10.1016/j.fss.2017.10.014
Centro
Facultades y escuelas::Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia