Proving contradictions in formal theories. I

MaRDI QIDQ788710zbMATH OpenFDO

Authors L. I. Rozonoèr

Publication date 1983

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logiccontradictionsderivability of formulasinconsistent systemspropositional calculus PCont

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Proving contradictions in formal theories. II
• On interpretation of inconsistent theories
• scientific article; zbMATH DE number 551010
• scientific article; zbMATH DE number 1434126
• Theory of effective propositional paraconsistent logics

Cited in

(12)

• On interpretation of inconsistent theories
• scientific article; zbMATH DE number 4123696 (Why is no real title available?)
• scientific article; zbMATH DE number 4137750 (Why is no real title available?)
• Proof theory and mathematical meaning of paraconsistent C-systems
• Paradeduction in axiomatic formal systems
• On structures of regular standard contradictions in propositional logic
• scientific article; zbMATH DE number 910431 (Why is no real title available?)
• scientific article; zbMATH DE number 3245437 (Why is no real title available?)
• scientific article; zbMATH DE number 3898861 (Why is no real title available?)
• Proving contradictions in formal theories. II
• scientific article; zbMATH DE number 3859095 (Why is no real title available?)
• On the paralogicality of some logical constructs

This page was built for publication: Proving contradictions in formal theories. I

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