IMAL   13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
artículos
Título:
Constructive logic with strong negation as a substructural logic
Autor/es:
BUSANICHE, MANUELA; CIGNOLI, ROBERTO
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
Oxford Press
Referencias:
Lugar: Oxford, Inglaterra; Año: 2008
ISSN:
0955-792X
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 NilpotentMinimum Logic is the extension of CLSN by the prelinearity axiom. Thisgeneralizes the well known result by Monteiro and Vakarelov thatthree-valued Lukasiewicz logic is an extension of CLSN. A Glivenko-liketheorem relating CLSN and three-valued Lukasiewicz  logic is proved.