scientific article; zbMATH DE number 2019867

zbMATH Open1034.03033MaRDI QIDQ4440563FDOQ4440563

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

Publication date: 2002

Title of this publication is not available (Why is that?)

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$-значных литеральных паранепротиворечивых / параполных логик

zbMATH Keywords

consistencydecidabilityparaconsistent logiccut eliminationsequent calculus

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)