Intuitionistic Implication and Logics of Formal Inconsistency

Logics of Formal Inconsistency (<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>L</mi><mi>F</mi><mi>I</mi></mrow></semantics></math></inline-formula> for short) are a class of paraconsistent logics that validate the principle of gentle explosion...

Descripción completa

Detalles Bibliográficos

Autor principal:	Janusz Ciuciura
Formato:	Artigo
Lenguaje:	Inglês
Publicado:	MDPI AG 2024-10-01
Colección:	Axioms
Materias:	paraconsistent logic da Costa’s logic logics of formal inconsistency consistency operator intuitionistic implication
Acceso en línea:	https://www.mdpi.com/2075-1680/13/11/738
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!