On interpretation of inconsistent theories

DOI10.1016/0020-0255(89)90003-0zbMath0677.03019OpenAlexW2104730696MaRDI QIDQ1123189

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)

Related Items

Generalized correspondence analysis for three-valued logics, A semantics for reasoning consistently in the presence of inconsistency, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Distance-based paraconsistent logics, Combining classical logic, paraconsistency and relevance, The value of the four values, Three-Valued Paraconsistent Propositional Logics, Exactly true and non-falsity logics meeting infectious ones, Normalisation for Some Quite Interesting Many-Valued Logics, A non-deterministic view on non-classical negations

Cites Work

• Proving contradictions in formal theories. I
• Proving contradictions in formal theories. II
• Propositional calculus for contradictory deductive systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item