First-order swap structures semantics for some logics of formal inconsistency

Volume: 30, Issue: 6, Pages: 1257 - 1290
Published: Jun 4, 2020
Abstract
The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (i.e. logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed...
Paper Details
Title
First-order swap structures semantics for some logics of formal inconsistency
Published Date
Jun 4, 2020
Volume
30
Issue
6
Pages
1257 - 1290
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.