On a paraconsistentization functor in the category of consequence structures

DOI10.1080/11663081.2016.1225487zbMath1398.03140arXiv1604.04227OpenAlexW2962906289MaRDI QIDQ4586164

Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.04227

zbMATH Keywords

categoryfunctorparaconsistent logicconsequence structures

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Paraconsistent orbits of logics

Cites Work

• Paraconsistency in categories: case of relevance logic
• Handbook of philosophical logic. Vol. 6
• Fibring non-truth-functional logics: Completeness preservation
• On inference from inconsistent premisses
• A propositional calculus for inconsistent deductive systems
• Semi-stable semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On a paraconsistentization functor in the category of consequence structures