Logic Journal of the IGPL 28 (5):1060-1072 (2020)

Authors
Walter Carnielli
University of Campinas
Abstract
We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzy073
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,431
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Shorter Model Theory.Wilfrid Hodges - 2000 - Studia Logica 64 (1):133-134.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Paraconsistent Logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Discourses Addressed by Infidel Logicians.Walter Carnielli & Marcelo E. Coniglio - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 27--41.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Two-Valued Weak Kleene Logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.

Analytics

Added to PP index
2019-10-27

Total views
5 ( #1,119,015 of 2,371,812 )

Recent downloads (6 months)
1 ( #557,530 of 2,371,812 )

How can I increase my downloads?

Downloads

My notes