Cut-elimination and quantification in canonical systems

DOI10.1007/s11225-006-6611-6zbMath1097.03050OpenAlexW1967406295MaRDI QIDQ817707

Arnon Avron, Anna Zamansky

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-6611-6

zbMATH Keywords

canonical systemscut eliminationproof theorynondeterministic matrices

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items

Informational semantics, non-deterministic matrices and feasible deduction ⋮ Semantics and proof-theory of depth bounded Boolean logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simple consequence relations
• Labeled calculi and finite-valued logics
• Non-deterministic Multiple-valued Structures
• Systematization of finite many-valued logics through the method of tableaux
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Cut-elimination and quantification in canonical systems