Concepedia

Agata Ciabattoni

AC

20

Publications

653

Citations

16

H-Index

1999

Active since

Affiliations

TU Wien(Current)

University of Denver

Kyoto University

University of Siena

University of Milan

Agata Ciabattoni is an author at TU Wien specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsLanguageFuzzy LogicLinguisticsFormal Logic

Publications per year

1999–2022

20

Publications

20

From Axioms to Analytic Rules in Nonclassical Logics

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Proceedings - Symposium on Logic in Computer Science · 2008 · 120 citations

Engineering, Classical Logic, Analytic Calculi +16

Algebraic proof theory for substructural logics: Cut-elimination and completions

Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui · Annals of Pure and Applied Logic · 2011 · 77 citations

Engineering, Substructural Logic, Automated Reasoning +4

Finiteness in Infinite-Valued Łukasiewicz Logic

Stefano Aguzzoli, Agata Ciabattoni · Journal of Logic Language and Information · 2000 · 54 citations

Engineering, Automated Reasoning, Many-valued Logic +3

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Agata Ciabattoni, George Metcalfe, Franco Montagna · Fuzzy Sets and Systems · 2009 · 48 citations

Engineering, Automated Reasoning, Propositional Logic +10

Towards a Semantic Characterization of Cut-Elimination

Agata Ciabattoni, Kazushige Terui · Studia Logica · 2006 · 46 citations

Formal Semantics, Syntax, Automated Reasoning +7

Rows per page

1–5 of 20