scientific article; zbMATH DE number 823609

MaRDI QIDQ4856966zbMATH OpenFDO

Authors Jean-Yves Béziau

Publication date 15 August 1996

zbMATH Keywords

cut eliminationparaconsistent logic \(C1\)semanticssequent calculus

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 4132131
• On paraconsistent extensions of C₁
• Aspects of Paraconsistent Logic
• Paraconsistency and the C-systems of da Costa
• Paraconsistent logic and model theory

Cited in

(17)

• On paraconsistent extensions of C₁
• New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
• C₁-compatible transitive extensions of system CT
• Some new results on PCL1 and its related systems
• scientific article; zbMATH DE number 4132131 (Why is no real title available?)
• On the propagation of consistency in some systems of paraconsistent logic
• scientific article; zbMATH DE number 16516 (Why is no real title available?)
• Non Truth-Functional Many-Valuedness
• scientific article; zbMATH DE number 7561490 (Why is no real title available?)
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics
• Efficient reasoning with inconsistent information using C-systems
• An alternative definition of \(F\)-structures for the logic \(C_{1}\)
• 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 Q4856966)