×

zbMATH — the first resource for mathematics

Ciabattoni, Agata

Compute Distance To:
Author ID: ciabattoni.agata Recent zbMATH articles by "Ciabattoni, Agata"
Published as: Ciabattoni, Agata
Documents Indexed: 64 Publications since 1997, including 2 Books
Reviewing Activity: 1 Review

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 285 times in 170 Documents Cited by Year
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
30
2012
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
23
2003
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
Towards a semantic characterization of cut-elimination. Zbl 1105.03057
Ciabattoni, Agata; Terui, Kazushige
13
2006
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. Zbl 1275.03098
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
13
2001
Finiteness in infinite-valued Łukasiewicz logic. Zbl 0951.03024
Aguzzoli, Stefano; Ciabattoni, Agata
13
2000
MacNeille completions of FL-algebras. Zbl 1259.03086
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
12
2011
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
12
2005
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
Density elimination. Zbl 1206.03027
Ciabattoni, Agata; Metcalfe, George
10
2008
Monadic fragments of Gödel logics: Decidability and undecidability results. Zbl 1138.03025
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
9
2007
A Schütte-Tait style cut-elimination proof for first-order Gödel logic. Zbl 1015.03052
Baaz, Matthias; Ciabattoni, Agata
7
2002
Expanding the realm of systematic proof theory. Zbl 1257.03084
Ciabattoni, Agata; Straßburger, Lutz; Terui, Kazushige
7
2009
Power and limits of structural display rules. Zbl 1407.03067
Ciabattoni, Agata; Ramanayake, Revantha
7
2016
Hypersequent and display calculi – a unified perspective. Zbl 1344.03043
Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich
7
2014
On the (fuzzy) logical content of CADIAG-2. Zbl 1192.68680
Vetterlein, Thomas; Ciabattoni, Agata
6
2010
Standard completeness for extensions of MTL: an automated approach. Zbl 1361.68184
Baldi, Paolo; Ciabattoni, Agata; Spendier, Lara
6
2012
Automated support for the investigation of paraconsistent and other logics. Zbl 1432.68546
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna
6
2013
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Zbl 1071.03012
Ciabattoni, Agata
5
2005
Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019
Ciabattoni, Agata; Montagna, Franco
5
2013
Quantified propositional Gödel logics. Zbl 0988.03014
Baaz, Matthias; Ciabattoni, Agata; Zach, Richard
4
2000
Hypertableau and path-hypertableau calculi for some families of intermediate logics. Zbl 0963.03017
Ciabattoni, Agata; Ferrari, Mauro
4
2000
Cut elimination for first order Gödel logic by hyperclause resolution. Zbl 1182.03102
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
4
2008
Density elimination and rational completeness for first-order logics. Zbl 1133.03028
Ciabattoni, Agata; Metcalfe, George
4
2007
Algebraic proof theory: hypersequents and hypercompletions. Zbl 1422.03038
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
4
2017
Automated generation of analytic calculi for logics with linearity. Zbl 1095.68109
Ciabattoni, Agata
4
2004
Structural extensions of display calculi: a general recipe. Zbl 1394.03069
Ciabattoni, Agata; Ramanayake, Revantha
4
2013
Hypersequent and labelled calculi for intermediate logics. Zbl 1401.03056
Ciabattoni, Agata; Maffezioli, Paolo; Spendier, Lara
4
2013
SAT in monadic Gödel logics: a borderline between decidability and undecidability. Zbl 1246.03046
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
3
2009
Hypersequent calculi for some intermediate logics with bounded Kripke models. Zbl 0989.03026
Ciabattoni, Agata; Ferrari, Mauro
3
2001
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
Bounded Łukasiewicz logics. Zbl 1274.03042
Ciabattoni, Agata; Metcalfe, George
3
2003
Canonical calculi: invertibility, axiom expansion and (non)-determinism. Zbl 1248.03075
Avron, Arnon; Ciabattoni, Agata; Zamansky, Anna
3
2009
Tools for the investigation of substructural and paraconsistent logics. Zbl 1432.68547
Ciabattoni, Agata; Spendier, Lara
2
2014
A natural deduction system for intuitionistic fuzzy logic. Zbl 1008.03015
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2001
Sequent of relations calculi: A framework for analytic deduction in many-valued logics. Zbl 1041.03020
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2003
Towards an algorithmic construction of cut-elimination procedures. Zbl 1138.03043
Ciabattoni, Agata; Leitsch, Alexander
2
2008
Uniform proofs of standard completeness for extensions of first-order MTL. Zbl 1331.03025
Baldi, Paolo; Ciabattoni, Agata
2
2015
First-order satisfiability in Gödel logics: an NP-complete fragment. Zbl 1244.03090
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
1
2011
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A.
1
2018
Bounded contraction in systems with linearity. Zbl 0931.03038
Ciabattoni, Agata
1
1999
Sequent calculi for finite-valued Łukasiewicz logics via Boolean decompositions. Zbl 0955.03031
Aguzzoli, Stefano; Ciabattoni, Agata; Di Nola, Antonio
1
2000
Mīmāṃsā deontic logic: proof theory and applications. Zbl 06519951
Ciabattoni, Agata; Freschi, Elisa; Genco, Francesco A.; Lellmann, Björn
1
2015
Proof search and co-NP completeness for many-valued logics. Zbl 1390.03023
Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco
1
2016
From display to labelled proofs for tense logics. Zbl 06856642
Ciabattoni, Agata; Lyon, Tim; Ramanayake, Revantha
1
2018
From cut-free calculi to automated deduction: the case of bounded contraction. Zbl 1401.03034
Ciabattoni, Agata; Lellmann, Björn; Olarte, Carlos; Pimentel, Elaine
1
2017
Formal approaches to rule-based systems in medicine: the case of CADIAG-2. Zbl 1266.68174
Ciabattoni, Agata; Muiño, David Picado; Vetterlein, Thomas; El-Zekey, Moataz
1
2013
Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability. Zbl 1238.03021
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
1
2012
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A.
1
2018
From display to labelled proofs for tense logics. Zbl 06856642
Ciabattoni, Agata; Lyon, Tim; Ramanayake, Revantha
1
2018
Algebraic proof theory: hypersequents and hypercompletions. Zbl 1422.03038
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
4
2017
From cut-free calculi to automated deduction: the case of bounded contraction. Zbl 1401.03034
Ciabattoni, Agata; Lellmann, Björn; Olarte, Carlos; Pimentel, Elaine
1
2017
Power and limits of structural display rules. Zbl 1407.03067
Ciabattoni, Agata; Ramanayake, Revantha
7
2016
Proof search and co-NP completeness for many-valued logics. Zbl 1390.03023
Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco
1
2016
Uniform proofs of standard completeness for extensions of first-order MTL. Zbl 1331.03025
Baldi, Paolo; Ciabattoni, Agata
2
2015
Mīmāṃsā deontic logic: proof theory and applications. Zbl 06519951
Ciabattoni, Agata; Freschi, Elisa; Genco, Francesco A.; Lellmann, Björn
1
2015
Hypersequent and display calculi – a unified perspective. Zbl 1344.03043
Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich
7
2014
Tools for the investigation of substructural and paraconsistent logics. Zbl 1432.68547
Ciabattoni, Agata; Spendier, Lara
2
2014
Automated support for the investigation of paraconsistent and other logics. Zbl 1432.68546
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna
6
2013
Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019
Ciabattoni, Agata; Montagna, Franco
5
2013
Structural extensions of display calculi: a general recipe. Zbl 1394.03069
Ciabattoni, Agata; Ramanayake, Revantha
4
2013
Hypersequent and labelled calculi for intermediate logics. Zbl 1401.03056
Ciabattoni, Agata; Maffezioli, Paolo; Spendier, Lara
4
2013
Formal approaches to rule-based systems in medicine: the case of CADIAG-2. Zbl 1266.68174
Ciabattoni, Agata; Muiño, David Picado; Vetterlein, Thomas; El-Zekey, Moataz
1
2013
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
30
2012
Standard completeness for extensions of MTL: an automated approach. Zbl 1361.68184
Baldi, Paolo; Ciabattoni, Agata; Spendier, Lara
6
2012
Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability. Zbl 1238.03021
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
1
2012
MacNeille completions of FL-algebras. Zbl 1259.03086
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
12
2011
First-order satisfiability in Gödel logics: an NP-complete fragment. Zbl 1244.03090
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
1
2011
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
On the (fuzzy) logical content of CADIAG-2. Zbl 1192.68680
Vetterlein, Thomas; Ciabattoni, Agata
6
2010
Expanding the realm of systematic proof theory. Zbl 1257.03084
Ciabattoni, Agata; Straßburger, Lutz; Terui, Kazushige
7
2009
SAT in monadic Gödel logics: a borderline between decidability and undecidability. Zbl 1246.03046
Baaz, Matthias; Ciabattoni, Agata; Preining, Norbert
3
2009
Canonical calculi: invertibility, axiom expansion and (non)-determinism. Zbl 1248.03075
Avron, Arnon; Ciabattoni, Agata; Zamansky, Anna
3
2009
Density elimination. Zbl 1206.03027
Ciabattoni, Agata; Metcalfe, George
10
2008
Cut elimination for first order Gödel logic by hyperclause resolution. Zbl 1182.03102
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
4
2008
Towards an algorithmic construction of cut-elimination procedures. Zbl 1138.03043
Ciabattoni, Agata; Leitsch, Alexander
2
2008
Monadic fragments of Gödel logics: Decidability and undecidability results. Zbl 1138.03025
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
9
2007
Density elimination and rational completeness for first-order logics. Zbl 1133.03028
Ciabattoni, Agata; Metcalfe, George
4
2007
Towards a semantic characterization of cut-elimination. Zbl 1105.03057
Ciabattoni, Agata; Terui, Kazushige
13
2006
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
12
2005
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Zbl 1071.03012
Ciabattoni, Agata
5
2005
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
Automated generation of analytic calculi for logics with linearity. Zbl 1095.68109
Ciabattoni, Agata
4
2004
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
23
2003
Bounded Łukasiewicz logics. Zbl 1274.03042
Ciabattoni, Agata; Metcalfe, George
3
2003
Sequent of relations calculi: A framework for analytic deduction in many-valued logics. Zbl 1041.03020
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2003
A Schütte-Tait style cut-elimination proof for first-order Gödel logic. Zbl 1015.03052
Baaz, Matthias; Ciabattoni, Agata
7
2002
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving. Zbl 1275.03098
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
13
2001
Hypersequent calculi for some intermediate logics with bounded Kripke models. Zbl 0989.03026
Ciabattoni, Agata; Ferrari, Mauro
3
2001
A natural deduction system for intuitionistic fuzzy logic. Zbl 1008.03015
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2
2001
Finiteness in infinite-valued Łukasiewicz logic. Zbl 0951.03024
Aguzzoli, Stefano; Ciabattoni, Agata
13
2000
Quantified propositional Gödel logics. Zbl 0988.03014
Baaz, Matthias; Ciabattoni, Agata; Zach, Richard
4
2000
Hypertableau and path-hypertableau calculi for some families of intermediate logics. Zbl 0963.03017
Ciabattoni, Agata; Ferrari, Mauro
4
2000
Sequent calculi for finite-valued Łukasiewicz logics via Boolean decompositions. Zbl 0955.03031
Aguzzoli, Stefano; Ciabattoni, Agata; Di Nola, Antonio
1
2000
Bounded contraction in systems with linearity. Zbl 0931.03038
Ciabattoni, Agata
1
1999
Proof theory of fuzzy logics: Urquhart’s \(C\) and related logics. Zbl 0921.03028
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian; Veith, Helmut
3
1998
all top 5

Cited by 178 Authors

22 Ciabattoni, Agata
10 Metcalfe, George
9 Montagna, Franco
8 Galatos, Nikolaos
8 Lahav, Ori
7 Avron, Arnon
7 Baaz, Matthias
7 Indrzejczak, Andrzej
7 Terui, Kazushige
7 Zamansky, Anna
6 Lellmann, Björn
5 Iemhoff, Rosalie
4 Cintula, Petr
4 Hájek, Petr
4 Vetterlein, Thomas
3 Aguzzoli, Stefano
3 Baldi, Paolo
3 Bianchi, Matteo
3 Fermüller, Christian G.
3 Godo, Lluís
3 Greco, Giuseppe
3 Guller, Dušan
3 Horčík, Rostislav
3 Lauridsen, Frederik Möllerström
3 Leitsch, Alexander
3 Marcos, João
3 Negri, Sara
3 Noguera, Carles
3 Palmigiano, Alessandra
3 Picado-Muiño, David
3 Preining, Norbert
3 Ramanayake, Revantha
3 Wang, Sanmin
2 Aschieri, Federico
2 Bezhanishvili, Nick
2 Caleiro, Carlos
2 Dyckhoff, Roy
2 Esteva, Francesc
2 Fasching, Oliver
2 Fiorino, Guido
2 Flaminio, Tommaso
2 Genco, Francesco A.
2 Gerla, Brunella
2 Gil-Férez, José
2 Gottwald, Siegfried
2 Gratzl, Norbert
2 Haniková, Zuzana
2 Jipsen, Peter
2 Kuznets, Roman
2 Liang, Fei
2 Olivetti, Nicola
2 Pattinson, Dirk
2 Pimentel, Elaine
2 Reis, Giselle
2 Schockaert, Steven
2 Spada, Luca
2 Straßburger, Lutz
2 Tsinakis, Constantine
2 Wansing, Heinrich Theodor
2 Zach, Richard
2 Zohar, Yoni
1 Aguilera, Juan Pablo
1 Ansótegui, Carlos
1 Basbous, Raed
1 Bednarska, Kaja
1 Bedregal, Benjamín Callejas
1 Beklemishev, Lev D.
1 Bezhanishvili, Guram
1 Bílková, Marta
1 Bimbó, Katalin
1 Bofill, Miquel
1 Bongini, Mattia
1 Borgwardt, Stefan
1 Bou, Félix
1 Brunel, Aloïs
1 Buss, Sam
1 Caicedo, Xavier
1 Cerami, Marco
1 Cerna, David M.
1 Chakraborty, Mihir Kumar
1 Chvalovský, Karel
1 Codara, Pietro
1 Condotta, Jean-François
1 Cornejo, Maria Eugenia
1 Corsi, Esther Anna
1 D’Antona, Ottavio M.
1 De Cock, Martine
1 Della Stella, Maria Emilia
1 Di Nola, Antonio
1 Diaconescu, Denisa
1 Dimuro, Graçaliz Pereira
1 Dodó, Adriano
1 Drobyshevich, Sergeĭ Andreevich
1 Dunn, Jon Michael
1 Freschi, Elisa
1 Frosoni, Giulia
1 Gabbay, Dov M.
1 García-Cerdaña, Àngel
1 Garcia, Pere
1 Ghilardi, Silvio
...and 78 more Authors

Citations by Year