On interpretation of inconsistent theories

DOI10.1016/0020-0255(89)90003-0MaRDI QIDQ1123189zbMATH OpenOpenAlexFDO

Authors L. I. Rozonoèr

Publication date 1989

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0255(89)90003-0

zbMATH Keywords

paraconsistent logicinconsistent theoriesthree-valued semanticsparaconsistent predicate calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Consistent theories in inconsistent logics
• scientific article; zbMATH DE number 3974958
• Asymmetric Interpretations for Bounded Theories
• Inconsistency and Incompleteness, Revisited
• Inquiry, refutations and the inconsistent
• On the Acceptability of Incompatible Arguments
• Paraconsistency: Towards a tentative interpretation
• scientific article; zbMATH DE number 4139718

Cites work

• scientific article; zbMATH DE number 3663099 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 3625335 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3095478 (Why is no real title available?)
• Propositional calculus for contradictory deductive systems
• Proving contradictions in formal theories. I
• Proving contradictions in formal theories. II

Cited in

(15)

• Generalized correspondence analysis for three-valued logics
• A semantics for reasoning consistently in the presence of inconsistency
• Exactly true and non-falsity logics meeting infectious ones
• Combining classical logic, paraconsistency and relevance
• A non-deterministic view on non-classical negations
• Three-valued paraconsistent propositional logics
• Normalisation for some quite interesting many-valued logics
• Distance-based paraconsistent logics
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• The value of the four values
• Doubts for Dawid's non-empirical theory assessment
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• Proving contradictions in formal theories. I
• Proving contradictions in formal theories. II
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you

This page was built for publication: On interpretation of inconsistent theories

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