scientific article; zbMATH DE number 6157354

zbMath1261.03087MaRDI QIDQ4918420

Norihiro Kamide, Heinrich Wansing

Publication date: 24 April 2013

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (6)

SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ An infinity of intuitionistic connexive logics ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Tracking Information ⋮ On the Methodology of Paraconsistent Logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

This page was built for publication: