Dual-context sequent calculus and strict implication
type: Item
instance of: scholarly article
zbMATH Open document ID: 0988.03085
author: Kentaro Kikuchi
publication date: 2002-07-22T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 1716769
zbMATH Keywords: dual-context sequent calculus
zbMATH Keywords: completeness
zbMATH Keywords: Kripke semantics
zbMATH Keywords: strict implication
zbMATH Keywords: modal logic
zbMATH Keywords: cut-elimination
MaRDI profile type: Publication
cites work: Q4385350
DOI: 10.1002/1521-3870(200201)48:1%3C87::AID-MALQ87%3E3.0.CO;2-N
title: Dual-context sequent calculus and strict implication
published in: Mathematical Logic Quarterly (MLQ)
description: scientific article; zbMATH DE number 1716769