Why paraconsistent logics?

DOI10.1007/978-3-319-40418-9_2MaRDI QIDQ5213768zbMATH OpenOpenAlexFDO

Authors Seiki Akama, N. C. A. da Costa

Publication date 4 February 2020

Published in Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40418-9_2

zbMATH Keywords

paraconsistencyparaconsistent logicscontradiction inconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 2226184
• On recent applications of paraconsistent logic: an exploratory literature review
• scientific article; zbMATH DE number 2209330
• scientific article; zbMATH DE number 16515
• Introduction: Paraconsistent logics

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 4137750 (Why is no real title available?)
• scientific article; zbMATH DE number 4160687 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3663099 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 46073 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 2019878 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 2096990 (Why is no real title available?)
• scientific article; zbMATH DE number 910439 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A calculus of antinomics
• A semantical analysis of the calculi \(C_n\)
• A theory of truth that prefers falsehood
• Bilattices and the semantics of logic programming
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive discursive logic with strong negation
• Constructive predicate logic with strong negation and model theory
• Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
• Handbook of paraconsistency
• Handbook of philosophical logic. Vol. 7
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• Logics of formal inconsistency
• Nelson's paraconsistent logics
• On the Proof Method for Constructive Falsity
• On the theory of inconsistent formal systems
• Outline of a Theory of Truth
• Paraconsistent logic programming
• Reasoning with logical bilattices
• Subformula semantics for strong negation systems
• The Paraconsistent Logics PJ
• The axiomatization of S. Jaskowski's discussive system
• The logic of information structures
• The logic of paradox
• The value of the four values

Cited in

(7)

• On paracomplete versions of Jaśkowski's discussive logic
• On recent applications of paraconsistent logic: an exploratory literature review
• Why does the proof-theory of hybrid logic work so well?
• Jair Minoro Abe on paraconsistent engineering
• scientific article; zbMATH DE number 2209330 (Why is no real title available?)
• scientific article; zbMATH DE number 2226184 (Why is no real title available?)
• scientific article; zbMATH DE number 1749145 (Why is no real title available?)

This page was built for publication: Why paraconsistent logics?

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