DeepAI AI Chat
Log In Sign Up

First-order swap structures semantics for some Logics of Formal Inconsistency

by   Marcelo E. Coniglio, et al.
University of Campinas
Yahoo! Inc.

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, 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 semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered.


page 1

page 2

page 3

page 4


Quantified Conditional Logics are Fragments of HOL

A semantic embedding of (constant domain) quantified conditional logic i...

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE

The aim of this paper is to combine several Ivev-like modal systems char...

On Logics of Perfect Paradefinite Algebras

The present study shows how any De Morgan algebra may be enriched by a '...

Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study

In a case study we investigate whether off the shelf higher-order theore...

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

Non-Classical Logics. Theory and Applications (NCL) is an international ...

Bisimulations for intuitionistic temporal logics

We introduce bisimulations for the logic ITL^e with `next', `until' and ...