scientific article; zbMATH DE number 4189700

MaRDI QIDQ5753932zbMATH OpenFDO

Authors Itala D'Ottaviano

Publication date 1990

zbMATH Keywords

da Costaparaconsistent logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Paraconsistent logics (03B53)

Cited in

(14)

• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• On argumentation logic and propositional logic
• Paraconsistent logics and translations
• Paraconsistency and the need for infinite semantics
• scientific article; zbMATH DE number 5997421 (Why is no real title available?)
• scientific article; zbMATH DE number 4135918 (Why is no real title available?)
• scientific article; zbMATH DE number 5521896 (Why is no real title available?)
• scientific article; zbMATH DE number 1992764 (Why is no real title available?)
• scientific article; zbMATH DE number 1471996 (Why is no real title available?)
• Efficient reasoning with inconsistent information using C-systems
• Conservative translations
• C-systems of da Costa and Aristotle's theses
• Variations on the calculi C_n of da Costa
• Gently paraconsistent extensions of C₁, intuitionistic implication, De Morgan laws, and the law of non-contradiction

This page was built for publication:

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