scientific article; zbMATH DE number 2170854

zbMath1066.03041MaRDI QIDQ4678356

Norihiro Kamide

Publication date: 23 May 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculusfirst-degree entailmentBelnap's four-valued logicdual-intuitionistic logicNelson's constructive logicRauszer's H-B logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ A spatial modal logic with a location interpretation ⋮ Proof systems combining classical and paraconsistent negations ⋮ Gentzen-type methods for bilattice negation

This page was built for publication: