Fraïssé’s theorem for logics of formal inconsistency

We prove that the minimal Logic of Formal Inconsistency (LFI) $\mathsf{QmbC}$ (basic quantified logic of formal inconsistency) validates a weaker version of Fraïssé’s theorem (FT). LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logic journal of the IGPL 2020-10, Vol.28 (5), p.1060-1072
Hauptverfasser:	Mendonça, Bruno R, Carnielli, Walter A
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!