From basic logic to quantum logics with cut-elimination
type: Item
instance of: scholarly article
title: From basic logic to quantum logics with cut-elimination
zbMATH Open document ID: 0904.03031
DOI: 10.1023/A:1026652903971
author: Claudia Faggian
author: Giovanni Sambin
published in: International Journal of Theoretical Physics
publication date: 1999-01-19T00:00:00Z
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1196963
zbMATH Keywords: sequent calculus
zbMATH Keywords: basic logic
zbMATH Keywords: orthologic
zbMATH Keywords: quantum logic
zbMATH Keywords: cut-elimination
zbMATH Keywords: proof search
zbMATH Keywords: decision procedure
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1196963