Proof theory for minimal quantum logic: A remark
type: Item
instance of: scholarly article
title: Proof theory for minimal quantum logic: A remark
zbMATH Open document ID: 0824.03032
DOI: 10.1007/BF00674960
author: Mitio Takano
published in: International Journal of Theoretical Physics
publication date: 1995-08-03T00:00:00Z
review text: This paper shows proof-theoretically that in the reviewer's [ibid. 33, 103-113 and 1427-1443 (1994; Zbl 0798.03062 and Zbl 0809.05045)] cut-free sequential system for minimal quantum logic the inference rule \[ {\Gamma\to \Delta\over \Delta'\to \Gamma'}\quad (\;'\to\;') \] is redundant.
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 780904
zbMATH Keywords: cut-elimination theorem
zbMATH Keywords: cut-free sequential system for minimal quantum logic
MaRDI profile type: Publication
cites work: Proof theory for minimal quantum logic. I
full work available at URL: https://doi.org/10.1007/bf00674960
OpenAlex ID: W1991921883
description: scientific article; zbMATH DE number 780904