scientific article; zbMATH DE number 2019867

MaRDI QIDQ4440563zbMATH OpenFDO

Authors José Eduardo de A. Moura, Itala D'Ottaviano

Publication date 2002

zbMATH Keywords

consistencycut eliminationdecidabilityparaconsistent logicsequent calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 605210
• scientific article; zbMATH DE number 7455717
• Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
• Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\)
• A survey of nonstandard sequent calculi
• scientific article; zbMATH DE number 1696818
• A survey of nonstandard sequent calculus
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Modular construction of cut-free sequent calculi for paraconsistent logics
• Об одном классе n-значных литеральных паранепротиворечивых / параполных логик

Cited in

(1)

• scientific article; zbMATH DE number 605210 (Why is no real title available?)

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