Agata Ciabattoni

Q: What Schools Are Affiliated With Agata Ciabattoni

Agata Ciabattoni is affiliated with the following schools: TU Wien, University of Milan, University of Udine, University of Bologna

Agata Ciabattoni's AcademicInfluence.com Rankings

Agata Ciabattoni

Mathematics

#5740

World Rank

#8059

Historical Rank

Measure Theory

#4324

World Rank

#5090

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Agata Ciabattoni's Degrees

PhD Mathematics University of Udine

Why Is Agata Ciabattoni Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics at the Vienna University of Technology , and a co-chair of the Vienna Center for Logic and Algorithms of TU Wien .

(See a Problem?)

Agata Ciabattoni's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

From Axioms to Analytic Rules in Nonclassical Logics (2008) (148)
Hypersequent Calculi for Gödel Logics - a Survey (2003) (85)
Algebraic proof theory for substructural logics: Cut-elimination and completions (2012) (79)
Uniform Rules and Dialogue Games for Fuzzy Logics (2005) (57)
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (2010) (54)
On the (fuzzy) logical content of CADIAG-2 (2010) (52)
Finiteness in Infinite-Valued Łukasiewicz Logic (2000) (49)
Towards a Semantic Characterization of Cut-Elimination (2006) (46)
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving (2001) (37)
Analytic Calculi for Monoidal T-norm Based Logic (2003) (35)
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday (2007) (32)
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models (2001) (32)
Density elimination (2008) (30)
Expanding the Realm of Systematic Proof Theory (2009) (30)
Hypersequent and Display Calculi – a Unified Perspective (2014) (29)
Cut-free proof systems for logics of weak excluded middle (1999) (29)
Power and Limits of Structural Display Rules (2016) (28)
Hypersequent and Labelled Calculi for Intermediate Logics (2013) (28)
MacNeille completions of FL-algebras (2011) (27)
Cut-elimination in a sequents-of-relations calculus for Godel logic (2001) (24)
From intuitionistic logic to godel-dummett logic via parallel dialogue games (2003) (22)
Gödel logic: From natural deduction to parallel computation (2016) (21)
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic (2002) (18)
Automated Support for the Investigation of Paraconsistent and Other Logics (2013) (17)
A proof-theoretical investigation of global intuitionistic (fuzzy) logic (2005) (16)
Structural Extensions of Display Calculi: A General Recipe (2013) (16)
Adding Modalities to MTL and its Extensions (16)
Quantified Propositional Gödel Logics (2000) (15)
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics (1998) (15)
Standard Completeness for Extensions of MTL: An Automated Approach (2012) (15)
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (2007) (14)
Formal approaches to rule-based systems in medicine: The case of CADIAG-2 (2013) (14)
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics (2000) (14)
Automated Generation of Analytic Calculi for Logics with Linearity (2004) (14)
Bounded Lukasiewicz Logics (2003) (14)
Modular Cut-Elimination: Finding Proofs or Counterexamples (2006) (13)
A Natural Deduction System for Intuitionistic Fuzzy Logic (2001) (13)
Two Connections Between Linear Logic and Lukasiewicz Logics (1997) (13)
Sequent of relations calculi: a framework for analytic deduction in many-valued logics (2003) (12)
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (2009) (12)
Algebraic proof theory: Hypersequents and hypercompletions (2017) (12)
Classical Proofs as Parallel Programs (2018) (11)
Proof theory for locally finite many-valued logics: Semi-projective logics (2013) (11)
From Display to Labelled Proofs for Tense Logics (2018) (11)
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (2005) (11)
A Formal Logical Framework for Cadiag-2 (2009) (11)
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (2009) (10)
Hypersequents as a uniform framework for Urquhart's C, MTL and related logics (2001) (10)
Service QoS Composition at the Level of Part Names (2006) (10)
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School (2017) (10)
Effective Applicative Structures (1995) (10)
On the Classical Content of Monadic G ∼ and Its Application to a Fuzzy Medical Expert System (2010) (9)
On Urquhart's C logic (2000) (9)
Uniform proofs of standard completeness for extensions of first-order MTL (2015) (9)
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution (2008) (9)
Bounded Contraction in Systems with Linearity (1999) (8)
Tools for the Investigation of Substructural and Paraconsistent Logics (2014) (7)
Density Elimination and Rational Completeness for First-Order Logics (2007) (7)
Standard Completeness for Uninorm-Based Logics (2015) (7)
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability (2012) (7)
Hypersequents and Systems of Rules (2018) (7)
Proof search and Co-NP completeness for many-valued logics (2016) (6)
Mīmāṃsā Deontic Logic: Proof Theory and Applications (2015) (6)
A Normative Supervisor for Reinforcement Learning Agents (2021) (6)
Embedding formalisms: hypersequents and two-level systems of rule (2016) (6)
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions (2000) (6)
Bounded Sequent Calculi for Non-classical Logics via Hypersequents (2019) (5)
Taming Paraconsistent (and Other) Logics (2014) (5)
Display to Labeled Proofs and Back Again for Tense Logics (2019) (5)
First-order satisfiability in Gödel logics: An NP-complete fragment (2011) (5)
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System (2010) (5)
Standard completeness for extensions of IMTL (2017) (4)
Towards an algorithmic construction of cut-elimination procedures† (2008) (4)
A Guide to Quantified Propositional Gödel Logic (2001) (4)
On the Undecidability of some Sub-Classical First-Order Logics (1999) (4)
Quantified propositional Goedel logics (2000) (4)
Basic Constructive Connectives, Determinism and Matrix-Based Semantics (2011) (4)
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach (2020) (3)
On the concurrent computational content of intermediate logics (2020) (3)
Mı̄mām . sā deontic logic : proof theory and applications ? (2015) (3)
A sufficient condition for completability of partial combinatory algebras (1997) (2)
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (2021) (2)
The Gentle Murder Paradox in Sanskrit Philosophy (2021) (2)
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms (2021) (2)
Hypersequents and Systems of Rules: Embeddings and Applications (2021) (2)
Bunched Hypersequent Calculi for Distributive Substructural Logics (2017) (2)
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach (2018) (2)
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics (2019) (2)
Intermediate Logics: From Hypersequents to Concurrent Computation (2018) (1)
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop (2018) (1)
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction (2017) (1)
On Completability of Partial Combinatory Algebras (2011) (1)
Dermtrainer: A Decision Support System for Dermatological Diseases (2019) (1)
Towards an Interpretation of the Medical Expert System CADIAG 2 (2013) (1)
Enforcing ethical goals over reinforcement-learning policies (2022) (1)
A theory of cut-restriction: first steps (2022) (0)
On Normative Reinforcement Learning via Safe Reinforcement Learning (2022) (0)
Cut-restriction: from cuts to analytic cuts (2023) (0)
A typed parallel $λ$-calculus for graph-based communication (2019) (0)
LIC 2015 Conference Organization General Chair (2015) (0)
Dyadic Obligations: Proofs and Countermodels via Hypersequents (2022) (0)
CLMPS 2015 affiliated meeting proposal : Proof theory of modal and non-classical logics (2015) (0)
A typed parallel lambda-calculus via 1-depth intermediate proofs (2019) (0)
2014 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’14 Vienna, AUSTRIA July 14–19, 2014 (2015) (0)
Analytic Calculi for Non-Classical Logics: Theory and Applications (2016) (0)
Collected Abstracts of the 2013 LIX Colloquium on the Theory and Application of Formal Proofs November (2013) (0)
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach (2018) (0)
Mīmā\d{m}sā deontic logic: proof theory and applications (2017) (0)
Intermediate Logic Proofs as Concurrent Programs (2018) (0)
A Kelsenian Deontic Logic (2021) (0)
Deontic paradoxes in M¯ım¯am.s¯a logics: there and back again (2022) (0)
Hypersequent and Display Calculi – a Unified Perspective (2014) (0)
Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic Agata Ciabattoni and Revantha Ramanayake (2017) (0)
Proof theory of witnessed Gödel logic: A negative result (2016) (0)
Taming Bounded Depth with Nested Sequents (2022) (0)
On the classical content of monadic G (2010) (0)
A typed parallel λ-calculus via 1-depth intermediate proofs∗ (2020) (0)
PROVING FOR PRENEX GÖDEL LOGIC WITH △ : CHECKING VALIDITY AND UNSATISFIABILITY (2018) (0)
Valuing the creation of a buffer area for environmental reason in the Park of Trasimeno: a choice experiment. (2010) (0)
Deontic reasoning: from ancient texts to artificial intelligence.: workshop report (2018) (0)
Bilattice CADIAG-II: Theory and Experimental Results (2021) (0)
Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules (2018) (0)
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again (2022) (0)
Proposal : A Specification Language for Emergent Properties (2016) (0)
Chapter 6 Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics (2003) (0)

This paper list is powered by the following services:

Other Resources About Agata Ciabattoni

What Schools Are Affiliated With Agata Ciabattoni?

Agata Ciabattoni is affiliated with the following schools:

Agata Ciabattoni's Academic­Influence.com Rankings