# Difference between revisions of "Agata Ciabattoni"

From ERCIM Working Group on Many-Valued Logics

Line 11: | Line 11: | ||

<em>Annals of Pure and Applied Logic</em> 168(3):693-737, 2017.</li> | <em>Annals of Pure and Applied Logic</em> 168(3):693-737, 2017.</li> | ||

− | <li>Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna). <em> Fuzzy Sets and Systems</em> | + | <li>Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna). <em> Fuzzy Sets and Systems</em> 292:130-149, 2016.</li> |

<li>Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi). | <li>Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi). |

## Latest revision as of 14:22, 20 March 2018

### Affiliation

Institute of Logic and Computation

Vienna University of Technology

### Selected publications

- Algebraic proof theory: hypersequents and hypercompletions (with N. Galatos and K. Terui).
*Annals of Pure and Applied Logic*168(3):693-737, 2017. - Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna).
*Fuzzy Sets and Systems*292:130-149, 2016. - Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi).
*Theoretical Computer Science*603:43-57, 2015. - Algebraic proof theory for substructural logics: cut-elimination and completions (with N. Galatos and K. Terui).
*Annals of Pure and Applied Logic*163(3):266-290, 2012. - Analytic Calculi for Monoidal T-norm Based Logic (with M. Baaz and F. Montagna).
*Fundamenta Informaticae*59(4):315-332, 2004.