Paraconsistent orbits of logics

DOI10.1007/s11787-021-00284-3zbMath1490.03016OpenAlexW3178123072MaRDI QIDQ2239383

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

Publication date: 3 November 2021

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00284-3

zbMATH Keywords

paraconsistent logicabstract logicuniversal logicmultideductionorbits of logicsparaconsistentization

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Cites Work

• The logic of paradox
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Multideductive logic and the theoretic-formal unification of physical theories
• Paraconsistent logics?
• On inference from inconsistent premisses
• On the theory of inconsistent formal systems
• A propositional calculus for inconsistent deductive systems
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• On a paraconsistentization functor in the category of consequence structures
• Logics of Formal Inconsistency
• Paradeduction in Axiomatic Formal Systems
• Logics and Their Galaxies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Paraconsistent orbits of logics