Sequential reflexive logics with noncontingency operator
type: Item
instance of: scholarly article
title: Sequential reflexive logics with noncontingency operator
zbMATH Open document ID: 1027.03016
DOI: 10.1023/A:1021485712270
published in: Mathematical Notes
publication date: 2003-06-15T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 1928345
zbMATH Keywords: Hilbert calculi
zbMATH Keywords: cut elimination
zbMATH Keywords: provability
zbMATH Keywords: sequential calculi
zbMATH Keywords: analytic cut
zbMATH Keywords: subformula property
zbMATH Keywords: noncontingency logics
zbMATH Keywords: Craig interpolation property
author: Evgeni E. Zolin
MaRDI profile type: Publication
full work available at URL: a:1021485712270
OpenAlex ID: W106772436
description: scientific article; zbMATH DE number 1928345