Paraconsistent orbits of logics

DOI10.1007/S11787-021-00284-3MaRDI QIDQ2239383zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1269574
• Paraconsistent logic
• scientific article; zbMATH DE number 16515
• Artificial Intelligence and Symbolic Computation
• Aspects of Paraconsistent Logic
• scientific article; zbMATH DE number 4142013
• On partial and paraconsistent logics
• scientific article; zbMATH DE number 4128788
• Paraconsistent logic and model theory
• Paraconsistent modal logics

Cites work

• scientific article; zbMATH DE number 3875243 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• scientific article; zbMATH DE number 1735921 (Why is no real title available?)
• scientific article; zbMATH DE number 1501640 (Why is no real title available?)
• scientific article; zbMATH DE number 3801505 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• scientific article; zbMATH DE number 2196606 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• A propositional calculus for inconsistent deductive systems
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Logics and Their Galaxies
• Logics of formal inconsistency
• Multideductive logic and the theoretic-formal unification of physical theories
• On a paraconsistentization functor in the category of consequence structures
• On inference from inconsistent premisses
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• On the theory of inconsistent formal systems
• Paraconsistent logics?
• Paraconsistentization through antimonotonicity towards a logic of supplement
• Paradeduction in axiomatic formal systems
• The logic of paradox

Cited in

(4)

• Paradeduction in axiomatic formal systems
• Distance-based paraconsistent logics
• Universal logic and orbital relativism
• Paraconsistentization and many-valued logics

This page was built for publication: Paraconsistent orbits of logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2239383)