Agata Ciabattoni
Author
Alternate names Agata Ciabattoni, A. Ciabattoni
Institution TU Wien
Past institutions TU Wien, Centre National de la Recherche Scientifique, Austrian Academy of Sciences, University of Vienna, Wienerberger (Czechia) +3 more
ORCID: Yes
H-index: 19
I10-index: 38
Works count: 132
Citations count: 1,256
From Axioms to Analytic Rules in Nonclassical Logics
2008 · Agata Ciabattoni, Nikolaos Galatos, et al. · Proceedings - Symposium on Logic in Computer Science
Algebraic proof theory for substructural logics: Cut-elimination and completions
2011 · Agata Ciabattoni, Nikolaos Galatos, et al. · Annals of Pure and Applied Logic
Finiteness in Infinite-Valued Łukasiewicz Logic
2000 · Stefano Aguzzoli, Agata Ciabattoni · Journal of Logic Language and Information