Agata Ciabattoni
Agata Ciabattoni
Vienna University of Technology
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
From axioms to analytic rules in nonclassical logics
A Ciabattoni, N Galatos, K Terui
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 229-240, 2008
1572008
Hypersequent calculi for Gödel logics—a survey
M Baaz, A Ciabattoni, CG Fermüller
Journal of Logic and Computation 13 (6), 835-861, 2003
942003
Algebraic proof theory for substructural logics: cut-elimination and completions
A Ciabattoni, N Galatos, K Terui
Annals of Pure and Applied Logic 163 (3), 266-290, 2012
892012
Finiteness in infinite-valued Łukasiewicz logic
S Aguzzoli, A Ciabattoni
Journal of Logic, Language and Information 9 (1), 5-29, 2000
712000
T-norm based logics with n-contraction
A Ciabattoni, F Esteva, L Godo
Neural Network World 12 (5), 441-452, 2002
692002
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
642005
Towards a semantic characterization of cut-elimination
A Ciabattoni, K Terui
Studia Logica 82 (1), 95-119, 2006
562006
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
A Ciabattoni, G Metcalfe, F Montagna
Fuzzy sets and systems 161 (3), 369-389, 2010
552010
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving
M Baaz, A Ciabattoni, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 2001
452001
Analytic calculi for monoidal t-norm based logic
M Baaz, A Ciabattoni, F Montagna
Fundamenta Informaticae 59 (4), 315-332, 2004
422004
Density elimination
A Ciabattoni, G Metcalfe
Theoretical Computer Science 403 (2-3), 328-346, 2008
382008
Hypersequent calculi for some intermediate logics with bounded Kripke models
A Ciabattoni
Journal of Logic and Computation 11 (2), 283-294, 2001
382001
Cut-free proof systems for logics of weak excluded middle
A Ciabattoni, DM Gabbay, N Olivetti
Soft Computing 2 (4), 147-156, 1999
371999
Hypersequent and display calculi–a unified perspective
A Ciabattoni, R Ramanayake, H Wansing
Studia Logica 102 (6), 1245-1294, 2014
312014
Expanding the realm of systematic proof theory
A Ciabattoni, L Straßburger, K Terui
International Workshop on Computer Science Logic, 163-178, 2009
302009
Power and limits of structural display rules
A Ciabattoni, R Ramanayake
ACM Transactions on Computational Logic (TOCL) 17 (3), 1-39, 2016
272016
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
272013
Adding modalities to MTL and its extensions
A Ciabattoni, G Metcalfe, F Montagna
Proceedings of the Linz Symposium 2005, 2005
272005
Bounded Łukasiewicz logics
A Ciabattoni, G Metcalfe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2003
252003
On the (fuzzy) logical content of CADIAG-2
T Vetterlein, A Ciabattoni
Fuzzy Sets and Systems 161 (14), 1941-1958, 2010
242010
The system can't perform the operation now. Try again later.
Articles 1–20