7. Preserving Logical Structure

Payette, Gillman

doi:10.3138/9781442688742-008

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2015

2022

Publication Types

Select...

Article4

Preprint1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach has been developed by people working with fibring logics, especially in the paper [4]. Afterwards, Payette in [16] explored a way of generating inconsistent non-trivial logics from consistent ones using a variation of forcing. Differently, Caminada, Carnielli and Dunne studied in [5] a semi-stable semantics able to find criteria for a given formal system to have paraconsistent characteristics.…”

Section: Introductionmentioning

confidence: 99%

On a paraconsistentization functor in the category of consequence structures

Souza

Costa-Leite

Dias

2016

Journal of Applied Non-Classical Logics

View full text Add to dashboard Cite

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.

show abstract

Section: Introductionmentioning

confidence: 99%