scientific article

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N" /><87::AID-MALQ87>3.0.CO;2-N 10.1002/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-NzbMath0988.03085MaRDI QIDQ2776812

Kentaro Kikuchi

Publication date: 22 July 2002

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

zbMATH Keywords

modal logiccompletenessKripke semanticscut-eliminationstrict implicationdual-context sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item

This page was built for publication: