Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism

DOI10.1007/978-3-642-03351-3_5zbMath1248.03075OpenAlexW75703882MaRDI QIDQ3392939

Arnon Avron, Anna Zamansky, Agata Ciabattoni

Publication date: 18 August 2009

Published in: Computer Science - Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03351-3_5

Mathematics Subject Classification ID

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

Related Items (3)

Sequent systems for negative modalities ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Basic Constructive Connectives, Determinism and Matrix-Based Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a semantic characterization of cut-elimination
• Labeled calculi and finite-valued logics
• Rasiowa-Sikorski deduction systems in computer science applications.
• Non-deterministic Multiple-valued Structures
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• On the Specification of Sequent Systems
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism