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 | 157 | 2008 |

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 | 94 | 2003 |

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 | 89 | 2012 |

Finiteness in infinite-valued Łukasiewicz logic S Aguzzoli, A Ciabattoni Journal of Logic, Language and Information 9 (1), 5-29, 2000 | 71 | 2000 |

T-norm based logics with n-contraction A Ciabattoni, F Esteva, L Godo Neural Network World 12 (5), 441-452, 2002 | 69 | 2002 |

Uniform rules and dialogue games for fuzzy logics A Ciabattoni, CG Fermüller, G Metcalfe International Conference on Logic for Programming Artificial Intelligence …, 2005 | 64 | 2005 |

Towards a semantic characterization of cut-elimination A Ciabattoni, K Terui Studia Logica 82 (1), 95-119, 2006 | 56 | 2006 |

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 | 55 | 2010 |

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 | 45 | 2001 |

Analytic calculi for monoidal t-norm based logic M Baaz, A Ciabattoni, F Montagna Fundamenta Informaticae 59 (4), 315-332, 2004 | 42 | 2004 |

Density elimination A Ciabattoni, G Metcalfe Theoretical Computer Science 403 (2-3), 328-346, 2008 | 38 | 2008 |

Hypersequent calculi for some intermediate logics with bounded Kripke models A Ciabattoni Journal of Logic and Computation 11 (2), 283-294, 2001 | 38 | 2001 |

Cut-free proof systems for logics of weak excluded middle A Ciabattoni, DM Gabbay, N Olivetti Soft Computing 2 (4), 147-156, 1999 | 37 | 1999 |

Hypersequent and display calculi–a unified perspective A Ciabattoni, R Ramanayake, H Wansing Studia Logica 102 (6), 1245-1294, 2014 | 31 | 2014 |

Expanding the realm of systematic proof theory A Ciabattoni, L Straßburger, K Terui International Workshop on Computer Science Logic, 163-178, 2009 | 30 | 2009 |

Power and limits of structural display rules A Ciabattoni, R Ramanayake ACM Transactions on Computational Logic (TOCL) 17 (3), 1-39, 2016 | 27 | 2016 |

Hypersequent and labelled calculi for intermediate logics A Ciabattoni, P Maffezioli, L Spendier International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 27 | 2013 |

Adding modalities to MTL and its extensions A Ciabattoni, G Metcalfe, F Montagna Proceedings of the Linz Symposium 2005, 2005 | 27 | 2005 |

Bounded Łukasiewicz logics A Ciabattoni, G Metcalfe International Conference on Automated Reasoning with Analytic Tableaux and …, 2003 | 25 | 2003 |

On the (fuzzy) logical content of CADIAG-2 T Vetterlein, A Ciabattoni Fuzzy Sets and Systems 161 (14), 1941-1958, 2010 | 24 | 2010 |