scientific article; zbMATH DE number 859797

MaRDI QIDQ4870569zbMATH OpenFDO

Authors Antonio M. A. Sette, Elias Humberto Alves

Publication date 6 January 1997

zbMATH Keywords

paraconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Paraconsistency and Sette's calculus P1
• scientific article; zbMATH DE number 5519286
• scientific article; zbMATH DE number 4083590
• Da Costa meets Belnap and Nelson
• Aspects of Paraconsistent Logic

Cited in

(8)

• A generalisation of a refutation-related method in paraconsistent logics
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• scientific article; zbMATH DE number 2020149 (Why is no real title available?)
• scientific article; zbMATH DE number 975273 (Why is no real title available?)
• \(n\)-valued maximal paraconsistent matrices
• A weakly-intuitionistic logic \(I1\)
• A tableau style proof system for two paraconsistent logics
• On logical and concurrent equivalences

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 Q4870569)