Cut-elimination and quantification in canonical systems
type: Item
instance of: scholarly article
title: Cut-elimination and quantification in canonical systems
zbMATH Open document ID: 1097.03050
author: Anna Zamansky
author: Arnon Avron
published in: Studia Logica
publication date: 2006-03-17T00:00:00Z
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5013041
zbMATH Keywords: proof theory
zbMATH Keywords: cut elimination
zbMATH Keywords: canonical systems
zbMATH Keywords: nondeterministic matrices
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-006-6611-6
OpenAlex ID: W1967406295
cites work: Simple consequence relations
cites work: Multi-valued Calculi for Logics Based on Non-determinism
cites work: Q4539639
cites work: Non-deterministic Multiple-valued Structures
cites work: Q4840168
cites work: Labeled calculi and finite-valued logics
cites work: Systematization of finite many-valued logics through the method of tableaux
cites work: Q5537599
cites work: Q4342086
DOI: 10.1007/S11225-006-6611-6
description: scientific article; zbMATH DE number 5013041