A classical-logic view of a paraconsistent logic

08/17/2020
βˆ™
by   C. A. Middelburg, et al.
βˆ™
0
βˆ™

This paper is concerned with the first-order paraconsistent logic LPQ^βŠƒ,π–₯. A sequent-style natural deduction proof system for this logic is given and, for this proof system, both a model-theoretic justification and a logical justification by means of an embedding into first-order classical logic is presented. For no logic that is essentially the same as LPQ^βŠƒ,π–₯, a natural deduction proof system is currently available in the literature. The presented embedding provides both a classical-logic explanation of this logic and a logical justification of its proof system.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
βˆ™ 02/23/2018

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

A shallow semantical embedding of a dyadic deontic logic by Carmo and Jo...
research
βˆ™ 01/25/2023

A conventional expansion of first-order Belnap-Dunn logic

This paper concerns an expansion of first-order Belnap-Dunn logic named ...
research
βˆ™ 06/06/2023

An ecumenical view of proof-theoretic semantics

Debates concerning philosophical grounds for the validity of classical a...
research
βˆ™ 08/14/2020

Partial Orders, Residuation, and First-Order Linear Logic

We will investigate proof-theoretic and linguistic aspects of first-orde...
research
βˆ™ 08/13/2021

Natural Deduction Calculus for First-Order Logic

The purpose of this paper is to give an easy to understand with step-by-...
research
βˆ™ 01/28/2020

First-Order Logic for Flow-Limited Authorization

We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a ...
research
βˆ™ 06/25/2021

A logical framework with a graph meta-language

We conjecture that the relative unpopularity of logical frameworks among...

Please sign up or login with your details

Forgot password? Click here to reset