TY - GEN
T1 - Canonical calculi
T2 - 4th International Computer Science Symposium in Russia, CSR 2009
AU - Avron, Arnon
AU - Ciabattoni, Agata
AU - Zamansky, Anna
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70350348915&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-03351-3_5
DO - 10.1007/978-3-642-03351-3_5
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:70350348915
SN - 3642033504
SN - 9783642033506
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 26
EP - 37
BT - Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings
Y2 - 18 August 2009 through 23 August 2009
ER -