DeepAI AI Chat
Log In Sign Up

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

12/21/2019
by   Marcelo E. Coniglio, et al.
University of Campinas
Yahoo! Inc.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/26/2012

Quantified Conditional Logics are Fragments of HOL

A semantic embedding of (constant domain) quantified conditional logic i...
08/25/2023

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...
06/18/2021

On Logics of Perfect Paradefinite Algebras

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

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

In a case study we investigate whether off the shelf higher-order theore...
04/13/2022

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

Non-Classical Logics. Theory and Applications (NCL) is an international ...
03/14/2018

Bisimulations for intuitionistic temporal logics

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