https://wiki.ercim.eu/wg/ManyVal/index.php?title=Special:NewPages&feed=atom&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=&size-mode=max&size=0ERCIM Working Group on Many-Valued Logics - New pages [en]2024-03-29T09:30:53ZFrom ERCIM Working Group on Many-Valued LogicsMediaWiki 1.35.13https://wiki.ercim.eu/wg/ManyVal/index.php/Vincenzo_MarraVincenzo Marra2018-03-20T14:22:03Z<p>Cnoguera: Created page with "===Affiliation=== Institute of Logic and Computation University of Milan [http://marra.di.unimi.it/ Personal webpage] ===Selected publications=== <ul> <li>Generalised stat..."</p>
<hr />
<div>===Affiliation===<br />
Institute of Logic and Computation <br />
<br />
University of Milan<br />
<br />
[http://marra.di.unimi.it/ Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Generalised states: a multi-sorted algebraic approach to probability (with T. Kroupa).<br />
<em>Soft Computing</em> 21(1):57-67, 2017.</li><br />
<br />
<li>The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (with P. Codara and O.M. D'Antona). <em> Fuzzy Sets and Systems</em> 247:38-50, 2014.</li><br />
<br />
<li>Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras (with L. Spada).<br />
<em>Annals of Pure and Applied Logic</em> 164(3):192-210, 2013.</li><br />
<br />
<li>The Dual Adjunction between MV-algebras and Tychonoff Spaces (with L. Spada). <em>Studia Logica</em> 100(1-2):253-278, 2012.</li><br />
<br />
<li>Gödel algebras free over finite distributive lattices. (with A. Aguzzoli and B. Gerla). <em>Annals of Pure and Applied Logic</em> 155(3):183-193, 2008.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php/Agata_CiabattoniAgata Ciabattoni2018-03-20T14:10:32Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Logic and Computation <br />
<br />
Vienna University of Technology<br />
<br />
[https://www.logic.at/staff/agata/ Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Algebraic proof theory: hypersequents and hypercompletions (with N. Galatos and K. Terui).<br />
<em>Annals of Pure and Applied Logic</em> 168(3):693-737, 2017.</li><br />
<br />
<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><br />
<br />
<li>Uniform proofs of standard completeness for extensions of first-order MTL (with P. Baldi).<br />
<em> Theoretical Computer Science</em> 603:43-57, 2015. </li><br />
<br />
<li>Algebraic proof theory for substructural logics: cut-elimination and completions (with N. Galatos and K. Terui). <em>Annals of Pure and Applied Logic</em> 163(3):266-290, 2012.</li><br />
<br />
<li>Analytic Calculi for Monoidal T-norm Based Logic (with M. Baaz and F. Montagna). <em>Fundamenta Informaticae</em> 59(4):315-332, 2004.</li><br />
</ul></div>Cnoguera