scientific article; zbMATH DE number 6131386

MaRDI QIDQ4903913zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 28 January 2013

zbMATH Keywords

intuitionistic paraconsistent logicsequent calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4128788
• scientific article; zbMATH DE number 2209453
• Hybridized paracomplete and paraconsistent logics
• scientific article; zbMATH DE number 1765820
• Combining intuitionistic connectives and Routley negation
• scientific article; zbMATH DE number 2209330
• Ideal paraconsistent logics
• An intuitionistic logic with probabilistic operators
• scientific article; zbMATH DE number 1269574
• Intuitionistic hybrid logic

Cited in

(6)

• Proof systems combining classical and paraconsistent negations
• Four simple paralogics: semantics and sequent calculi
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
• scientific article; zbMATH DE number 2209453 (Why is no real title available?)
• scientific article; zbMATH DE number 2209832 (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 Q4903913)