Artículo
Constructive logic with strong negation as a substructural logic
Fecha de publicación:
08/2010
Editorial:
Oxford University Press
Revista:
Journal of Logic and Computation
ISSN:
0955-792X
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance, we prove that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom. This generalizes the well-known result by Monteiro and Vakarelov that three-valued ukasiewicz logic is an extension of CLSN. A Glivenko-like theorem relating CLSN and three-valued ukasiewicz logic is proved.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IMAL)
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Citación
Busaniche, Manuela; Cignoli, Roberto Leonardo Oscar; Constructive logic with strong negation as a substructural logic; Oxford University Press; Journal of Logic and Computation; 20; 4; 8-2010; 761-793
Compartir
Altmétricas