scientific article; zbMATH DE number 6131386

zbMATH Open1268.03030MaRDI QIDQ4903913

Norihiro Kamide

Publication date: 28 January 2013

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

zbMATH Keywords

sequent calculusintuitionistic paraconsistent logic

Mathematics Subject Classification ID

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

Related Items (1)

Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)

Recommendations

• Ideal paraconsistent logics 👍 👎
• Combining intuitionistic connectives and Routley negation 👍 👎
• Intuitionistic hybrid logic 👍 👎
• An intuitionistic logic with probabilistic operators 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4903913)