Baldi, Paolo; Ciabattoni, Agata; Adlassnig, Klaus-Peter Bilattice CADIAG-II: theory and experimental results. (English) Zbl 1478.92075 Phuong, Nguyen Hoang (ed.) et al., Soft computing: biomedical and related applications. Cham: Springer. Stud. Comput. Intell. 981, 3-20 (2021). MSC: 92C50 03B52 PDFBibTeX XMLCite \textit{P. Baldi} et al., Stud. Comput. Intell. 981, 3--20 (2021; Zbl 1478.92075) Full Text: DOI
Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha Bounded-analytic sequent calculi and embeddings for hypersequent logics. (English) Zbl 07415219 J. Symb. Log. 86, No. 2, 635-668 (2021). MSC: 03F03 03F07 03F52 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., J. Symb. Log. 86, No. 2, 635--668 (2021; Zbl 07415219) Full Text: DOI
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A. On the concurrent computational content of intermediate logics. (English) Zbl 1433.68229 Theor. Comput. Sci. 813, 375-409 (2020). MSC: 68Q85 03B40 03B55 PDFBibTeX XMLCite \textit{F. Aschieri} et al., Theor. Comput. Sci. 813, 375--409 (2020; Zbl 1433.68229) Full Text: DOI
Ciabattoni, Agata; Lellmann, Björn; Olarte, Carlos; Pimentel, Elaine From cut-free calculi to automated deduction: the case of bounded contraction. (English) Zbl 1401.03034 Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 75-93 (2017). MSC: 03B35 03B47 03F20 03F52 68T15 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Electron. Notes Theor. Comput. Sci. 332, 75--93 (2017; Zbl 1401.03034) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory: hypersequents and hypercompletions. (English) Zbl 1422.03038 Ann. Pure Appl. Logic 168, No. 3, 693-737 (2017). MSC: 03B47 03G25 03F05 03F03 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 168, No. 3, 693--737 (2017; Zbl 1422.03038) Full Text: DOI
Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco Proof search and co-NP completeness for many-valued logics. (English) Zbl 1390.03023 Fuzzy Sets Syst. 292, 130-149 (2016). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03F03 03B25 68Q25 PDFBibTeX XMLCite \textit{M. Bongini} et al., Fuzzy Sets Syst. 292, 130--149 (2016; Zbl 1390.03023) Full Text: DOI
Ciabattoni, Agata; Ramanayake, Revantha Power and limits of structural display rules. (English) Zbl 1407.03067 ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016). MSC: 03F03 03F05 03B20 03B45 03B44 03B47 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{R. Ramanayake}, ACM Trans. Comput. Log. 17, No. 3, Article No. 17, 39 p. (2016; Zbl 1407.03067) Full Text: DOI
Ciabattoni, Agata; Lahav, Ori; Spendier, Lara; Zamansky, Anna Taming paraconsistent (and other) logics: an algorithmic approach. (English) Zbl 1354.03082 ACM Trans. Comput. Log. 16, No. 1, Article No. 5, 23 p. (2015). MSC: 03F03 03B53 68N17 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., ACM Trans. Comput. Log. 16, No. 1, Article No. 5, 23 p. (2015; Zbl 1354.03082) Full Text: DOI
Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich Hypersequent and display calculi – a unified perspective. (English) Zbl 1344.03043 Stud. Log. 102, No. 6, 1245-1294 (2014). MSC: 03F03 03F05 03B45 03B20 03B50 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Stud. Log. 102, No. 6, 1245--1294 (2014; Zbl 1344.03043) Full Text: DOI
Ciabattoni, Agata; Spendier, Lara Tools for the investigation of substructural and paraconsistent logics. (English) Zbl 1432.68547 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 18-32 (2014). MSC: 68V99 03B47 03B53 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{L. Spendier}, Lect. Notes Comput. Sci. 8761, 18--32 (2014; Zbl 1432.68547) Full Text: DOI
Ciabattoni, Agata; Montagna, Franco Proof theory for locally finite many-valued logics: semi-projective logics. (English) Zbl 1322.03019 Theor. Comput. Sci. 480, 26-42 (2013). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03F03 03B25 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{F. Montagna}, Theor. Comput. Sci. 480, 26--42 (2013; Zbl 1322.03019) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory for substructural logics: cut-elimination and completions. (English) Zbl 1245.03026 Ann. Pure Appl. Logic 163, No. 3, 266-290 (2012). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03F05 03G25 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 163, No. 3, 266--290 (2012; Zbl 1245.03026) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige MacNeille completions of FL-algebras. (English) Zbl 1259.03086 Algebra Univers. 66, No. 4, 405-420 (2011). Reviewer: Osamu Sonobe (Follonica) MSC: 03G25 03B47 06F05 08B15 03B55 06D20 03F03 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Algebra Univers. 66, No. 4, 405--420 (2011; Zbl 1259.03086) Full Text: DOI
Ciabattoni, Agata; Lahav, Ori; Zamansky, Anna Basic constructive connectives, determinism and matrix-based semantics. (English) Zbl 1333.03237 Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 119-133 (2011). MSC: 03F05 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Lect. Notes Comput. Sci. 6793, 119--133 (2011; Zbl 1333.03237) Full Text: DOI
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. (English) Zbl 1190.03026 Fuzzy Sets Syst. 161, No. 3, 369-389 (2010). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B45 03B50 03F52 03G25 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Fuzzy Sets Syst. 161, No. 3, 369--389 (2010; Zbl 1190.03026) Full Text: DOI
Ciabattoni, Agata; Straßburger, Lutz; Terui, Kazushige Expanding the realm of systematic proof theory. (English) Zbl 1257.03084 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 163-178 (2009). MSC: 03F03 03F52 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Lect. Notes Comput. Sci. 5771, 163--178 (2009; Zbl 1257.03084) Full Text: DOI
Avron, Arnon; Ciabattoni, Agata; Zamansky, Anna Canonical calculi: invertibility, axiom expansion and (non)-determinism. (English) Zbl 1248.03075 Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 26-37 (2009). MSC: 03F05 PDFBibTeX XMLCite \textit{A. Avron} et al., Lect. Notes Comput. Sci. 5675, 26--37 (2009; Zbl 1248.03075) Full Text: DOI
Ciabattoni, Agata; Leitsch, Alexander Towards an algorithmic construction of cut-elimination procedures. (English) Zbl 1138.03043 Math. Struct. Comput. Sci. 18, No. 1, 81-105 (2008). MSC: 03F05 03B35 03B47 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{A. Leitsch}, Math. Struct. Comput. Sci. 18, No. 1, 81--105 (2008; Zbl 1138.03043) Full Text: DOI
Ciabattoni, Agata A proof-theoretical investigation of global intuitionistic (fuzzy) logic. (English) Zbl 1071.03012 Arch. Math. Logic 44, No. 4, 435-457 (2005). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 03B50 03F05 PDFBibTeX XMLCite \textit{A. Ciabattoni}, Arch. Math. Logic 44, No. 4, 435--457 (2005; Zbl 1071.03012) Full Text: DOI
Asperti, Andrea; Ciabattoni, Agata Effective applicative structures. (English) Zbl 1502.03010 Pitt, David (ed.) et al., Category theory and computer science. 6th international conference, CTCS ’95, Cambridge, United Kingdom, August 7–11, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 953, 81-95 (1995). MSC: 03D75 PDFBibTeX XMLCite \textit{A. Asperti} and \textit{A. Ciabattoni}, Lect. Notes Comput. Sci. 953, 81--95 (1995; Zbl 1502.03010) Full Text: DOI