https://wiki.ercim.eu/wg/ManyVal/index.php?action=history&feed=atom&title=Agata_Ciabattoni Agata Ciabattoni - Revision history 2026-06-06T02:52:15Z Revision history for this page on the wiki MediaWiki 1.43.8 https://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=83&oldid=prev Cnoguera at 14:22, 20 March 2018 2018-03-20T14:22:59Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:22, 20 March 2018</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 11:</td> <td colspan="2" class="diff-lineno">Line 11:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;em&gt;Annals of Pure and Applied Logic&lt;/em&gt; 168(3):693-737, 2017.&lt;/li&gt;</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;em&gt;Annals of Pure and Applied Logic&lt;/em&gt; 168(3):693-737, 2017.&lt;/li&gt;</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&lt;li&gt;Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna). &lt;em&gt; Fuzzy Sets and Systems&lt;/em&gt;<del style="font-weight: bold; text-decoration: none;">,</del> 292:130-149, 2016.&lt;/li&gt;</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&lt;li&gt;Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna). &lt;em&gt; Fuzzy Sets and Systems&lt;/em&gt; 292:130-149, 2016.&lt;/li&gt;</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;li&gt;Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi).</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;li&gt;Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi).</div></td> </tr> <!-- diff cache key ManyValwiki:diff:1.41:old-82:rev-83:wikidiff2=table:1.14.1:bc2a06be --> </table> Cnoguera https://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=82&oldid=prev Cnoguera at 14:22, 20 March 2018 2018-03-20T14:22:50Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:22, 20 March 2018</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===Affiliation===</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===Affiliation===</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Institute of Computer Science</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Institute of Logic and Computation </div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Institute of Logic and Computation </div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <!-- diff cache key ManyValwiki:diff:1.41:old-79:rev-82:wikidiff2=table:1.14.1:bc2a06be --> </table> Cnoguera https://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=79&oldid=prev Cnoguera at 14:11, 20 March 2018 2018-03-20T14:11:04Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:11, 20 March 2018</td> </tr><tr> <td colspan="2" class="diff-lineno">Line 4:</td> <td colspan="2" class="diff-lineno">Line 4:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Institute of Logic and Computation </div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Institute of Logic and Computation </div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Technical</del> University of <del style="font-weight: bold; text-decoration: none;">Vienna</del></div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Vienna</ins> University of <ins style="font-weight: bold; text-decoration: none;">Technology</ins></div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[https://www.logic.at/staff/agata/ Personal webpage]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[https://www.logic.at/staff/agata/ Personal webpage]</div></td> </tr> <!-- diff cache key ManyValwiki:diff:1.41:old-78:rev-79:wikidiff2=table:1.14.1:bc2a06be --> </table> Cnoguera https://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=78&oldid=prev Cnoguera: Created page with "===Affiliation=== Institute of Computer Science Institute of Logic and Computation Technical University of Vienna [https://www.logic.at/staff/agata/ Personal webpage] ===..." 2018-03-20T14:10:32Z <p>Created page with &quot;===Affiliation=== Institute of Computer Science Institute of Logic and Computation Technical University of Vienna [https://www.logic.at/staff/agata/ Personal webpage] ===...&quot;</p> <p><b>New page</b></p><div>===Affiliation===<br /> Institute of Computer Science<br /> <br /> Institute of Logic and Computation <br /> <br /> Technical University of Vienna<br /> <br /> [https://www.logic.at/staff/agata/ Personal webpage]<br /> <br /> ===Selected publications===<br /> &lt;ul&gt;<br /> &lt;li&gt;Algebraic proof theory: hypersequents and hypercompletions (with N. Galatos and K. Terui).<br /> &lt;em&gt;Annals of Pure and Applied Logic&lt;/em&gt; 168(3):693-737, 2017.&lt;/li&gt;<br /> <br /> &lt;li&gt;Proof Search and Co-NP Completeness for Many-Valued Logics (with M. Bongini and F. Montagna). &lt;em&gt; Fuzzy Sets and Systems&lt;/em&gt;, 292:130-149, 2016.&lt;/li&gt;<br /> <br /> &lt;li&gt;Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi).<br /> &lt;em&gt; Theoretical Computer Science&lt;/em&gt; 603:43-57, 2015. &lt;/li&gt;<br /> <br /> &lt;li&gt;Algebraic proof theory for substructural logics: cut-elimination and completions (with N. Galatos and K. Terui). &lt;em&gt;Annals of Pure and Applied Logic&lt;/em&gt; 163(3):266-290, 2012.&lt;/li&gt;<br /> <br /> &lt;li&gt;Analytic Calculi for Monoidal T-norm Based Logic (with M. Baaz and F. Montagna). &lt;em&gt;Fundamenta Informaticae&lt;/em&gt; 59(4):315-332, 2004.&lt;/li&gt;<br /> &lt;/ul&gt;</div> Cnoguera