Sciweavers

Share
CSR
2009
Springer

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

9 years 6 months ago
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
We apply the semantic tool of non-deterministic matrices to characterize two important properties of canonical Gentzen-type calculi: invertibility of rules and axiom expansion. We show that in every canonical calculus G satisfying a natural condition, the following are equivalent: (i) the connectives of G admit axiom expansion, (ii) the rules of G are invertible, and (iii) G has a characteristic finite deterministic matrix.
Arnon Avron, Agata Ciabattoni, Anna Zamansky
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CSR
Authors Arnon Avron, Agata Ciabattoni, Anna Zamansky
Comments (0)
books