Proving contradictions in formal theories. I

zbMATH Open0532.03007MaRDI QIDQ788710FDOQ788710

Authors: L. I. Rozonoèr 

Publication date: 1983

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

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

zbMATH Keywords

paraconsistent logiccontradictionsderivability of formulasinconsistent systemspropositional calculus PCont

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (12)

• On interpretation of inconsistent theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory and mathematical meaning of paraconsistent C-systems
• Paradeduction in axiomatic formal systems
• On structures of regular standard contradictions in propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving contradictions in formal theories. II
• Title not available (Why is that?)
• 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)