Sciweavers

CSR
2009
Springer

90views Theoretical Computer Science» more CSR 2009»

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

15 years 9 months ago

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 ...

Arnon Avron, Agata Ciabattoni, Anna Zamansky

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers