@inproceedings{673a289de6d345deadabb1b7cc5a418e,
title = "Canonical calculi: Invertibility, axiom expansion and (non)-determinism",
abstract = "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.",
author = "Arnon Avron and Agata Ciabattoni and Anna Zamansky",
year = "2009",
doi = "10.1007/978-3-642-03351-3\_5",
language = "English",
isbn = "3642033504",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "26--37",
booktitle = "Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings",
note = "4th International Computer Science Symposium in Russia, CSR 2009 ; Conference date: 18-08-2009 Through 23-08-2009",
}