Follow
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
1632008
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
972003
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
912012
Finiteness in infinite-valued Łukasiewicz logic
S Aguzzoli, A Ciabattoni
Journal of Logic, Language and Information 9 (1), 5-29, 2000
742000
T-norm based logics with n-contraction
A Ciabattoni, F Esteva, L Godo
Neural Network World 12 (5), 441-452, 2002
702002
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
652005
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
572010
Towards a semantic characterization of cut-elimination
A Ciabattoni, K Terui
Studia Logica, 95-119, 2006
552006
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
472001
Analytic calculi for monoidal t-norm based logic
M Baaz, A Ciabattoni, F Montagna
Fundamenta Informaticae 59 (4), 315-332, 2004
452004
Hypersequent calculi for some intermediate logics with bounded Kripke models
A Ciabattoni
Journal of Logic and Computation 11 (2), 283-294, 2001
412001
Density elimination
A Ciabattoni, G Metcalfe
Theoretical Computer Science 403 (2-3), 328-346, 2008
392008
Cut-free proof systems for logics of weak excluded middle
A Ciabattoni, DM Gabbay, N Olivetti
Soft Computing 2 (4), 147-156, 1999
361999
Power and limits of structural display rules
A Ciabattoni, R Ramanayake
ACM Transactions on Computational Logic (TOCL) 17 (3), 1-39, 2016
312016
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
312009
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
282013
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
262003
MacNeille completions of FL-algebras
A Ciabattoni, N Galatos, K Terui
Algebra universalis 66 (4), 405-420, 2011
252011
The system can't perform the operation now. Try again later.
Articles 1–20