INVESTIGADORES
CASTIGLIONI JosÉ Luis
artículos
Título:
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Autor/es:
J.L. CASTIGLIONI; R. ERTOLA
Revista:
LOGIC JOURNAL OF THE IGPL (PRINT)
Editorial:
OXFORD UNIV PRESS
Referencias:
Lugar: Oxford; Año: 2014 vol. 22 p. 268 - 273
ISSN:
1367-0751
Resumen:
In this article we provide some results concerning a logic that results from propositional intuitionistic logic when dual negation is added in certain way, producing a paraconsistent logic that has been called da Costa Logic. In particular, we prove the finite model property and strict paraconsistency of this logic.
