https://wiki.ercim.eu/wg/ManyVal/api.php?action=feedcontributions&user=Cnoguera&feedformat=atomERCIM Working Group on Many-Valued Logics - User contributions [en]2024-03-29T06:24:08ZUser contributionsMediaWiki 1.35.13https://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=90Workshops2018-03-20T15:07:29Z<p>Cnoguera: /* 2017 */</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2018 ===<br />
<br />
* [http://www.latd2018.unibe.ch/ LATD 2018]: Logic, Algebra and Truth Degrees 2018. Bern, Switzerland, 28 - 31 August 2018.<br />
<br />
* [http://www.aiml2018.unibe.ch/ AiML 2018]: Advances in Modal Logic 2018. Bern, Switzerland, 27 - 31 August 2018.<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events//MANYVAL2017 ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
=== 2016 ===<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=89Main Page2018-03-20T15:07:14Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
Previous importants events of the group were:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events//MANYVAL2017 ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
Forthcoming events:<br />
<br />
* [http://www.latd2018.unibe.ch/ LATD 2018]: Logic, Algebra and Truth Degrees 2018. Bern, Switzerland, 28 - 31 August 2018.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Members&diff=88Members2018-03-20T14:50:10Z<p>Cnoguera: </p>
<hr />
<div><u><b>Barcelona:</b></u><br />
<br />
[[Pilar Dellunde]]<br />
<br />
[[Francesc Esteva]]<br />
<br />
[[Lluís Godo]]<br />
<br />
<br />
<u><b>Bern:</b></u><br />
<br />
[[George Metcalfe]]<br />
<br />
<br />
<u><b>Cagliari:</b></u><br />
<br />
[[Hector Freytes]]<br />
<br />
[[Roberto Giuntini]]<br />
<br />
[[Antonio Ledda]]<br />
<br />
[[Francesco Paoli]]<br />
<br />
<br />
<u><b>Florence:</b></u><br />
<br />
[[Leonardo Cabrer]]<br />
<br />
[[Daniele Mundici]]<br />
<br />
<br />
<u><b>Linz:</b></u><br />
<br />
[[Thomas Vetterlein]]<br />
<br />
<br />
<u><b>Milan:</b></u><br />
<br />
[[Stefano Aguzzoli]]<br />
<br />
[[Brunella Gerla]]<br />
<br />
[[Vincenzo Marra]]<br />
<br />
<br />
<u><b>Prague:</b></u><br />
<br />
[[Marta Bílková]]<br />
<br />
[[Libor B&#283;hounek]]<br />
<br />
[[Karel Chvalovský]]<br />
<br />
[[Petr Cintula]]<br />
<br />
[[Zuzana Haniková]]<br />
<br />
[[Rostislav Hor&#269;ík]]<br />
<br />
[[Tomá&#353; Kroupa]]<br />
<br />
[[Carles Noguera]]<br />
<br />
[[Amanda Vidal]]<br />
<br />
<br />
<u><b>Salerno:</b></u><br />
<br />
[[Antonio Di Nola]]<br />
<br />
[[Luca Spada]]<br />
<br />
<br />
<u><b>Siena:</b></u><br />
<br />
[[Franco Montagna]]<br />
<br />
<br />
<u><b>Vienna:</b></u><br />
<br />
[[Agata Ciabattoni]]<br />
<br />
[[Chris Fermüller]]</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=87Workshops2018-03-20T14:27:04Z<p>Cnoguera: /* Past events */</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2018 ===<br />
<br />
* [http://www.latd2018.unibe.ch/ LATD 2018]: Logic, Algebra and Truth Degrees 2018. Bern, Switzerland, 28 - 31 August 2018.<br />
<br />
* [http://www.aiml2018.unibe.ch/ AiML 2018]: Advances in Modal Logic 2018. Bern, Switzerland, 27 - 31 August 2018.<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
=== 2016 ===<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=86Workshops2018-03-20T14:26:32Z<p>Cnoguera: /* Forthcoming events */</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2018 ===<br />
<br />
* [http://www.latd2018.unibe.ch/ LATD 2018]: Logic, Algebra and Truth Degrees 2018. Bern, Switzerland, 28 - 31 August 2018.<br />
<br />
* [http://www.aiml2018.unibe.ch/ AiML 2018]: Advances in Modal Logic 2018. Bern, Switzerland, 27 - 31 August 2018.<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
=== 2016 ===<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=85Workshops2018-03-20T14:24:32Z<p>Cnoguera: </p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2018 ===<br />
<br />
<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
=== 2016 ===<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Libor_B%C4%9Bhounek&diff=84Libor Běhounek2018-03-20T14:23:39Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
<br />
Institute for Research and Applications of Fuzzy Modeling<br />
<br />
University of Ostrava<br />
<br />
30. dubna 22, 701 03 Ostrava 1, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~behounek Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Introduction to Mathematical Fuzzy Logic (with P. Cintula and P.<br />
Hájek). In P. Cintula, P. Hájek, C. Noguera, editors,<br />
<em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>,<br />
volume 37 of Studies in Logic, Mathematical Logic and Foundations.<br />
Pp. 1-101, London: College Publication, 2011.</li><br />
<br />
<li>Relational compositions in Fuzzy Class Theory (with M. Daňková).<br />
<em>Fuzzy Sets and Systems</em> 160(8): 1005-1036 (2009).</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with P. Cintula and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li><br />
<br />
<li>Fuzzy Class Theory (with P. Cintula).<br />
<em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=83Agata Ciabattoni2018-03-20T14:22:59Z<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>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=82Agata Ciabattoni2018-03-20T14:22:50Z<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>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=George_Metcalfe&diff=81George Metcalfe2018-03-20T14:22:38Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Mathematical Institute<br />
<br />
University of Bern<br />
<br />
[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).<br />
<em>Springer Series in Applied Logic</em> Vol. 36 (284 pages), 2008.</li><br />
<br />
<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller). <em>Studia Logica</em>, 92(1) (2009), 27-61.</li><br />
<br />
<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).<br />
<em>Archive for Mathematical Logic</em> 46(6) (2007), 425-449.</li><br />
<br />
<li>Substructural Fuzzy Logics (with F. Montagna). <em>Journal of Symbolic Logic</em> 72(3) (2007), 834-864.</li><br />
<br />
<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). <em>ACM Transactions on Computational Logic</em> 6(3) (2005), 578-613.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Vincenzo_Marra&diff=80Vincenzo 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?title=Agata_Ciabattoni&diff=79Agata Ciabattoni2018-03-20T14:11:04Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<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>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Agata_Ciabattoni&diff=78Agata Ciabattoni2018-03-20T14:10:32Z<p>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] ===..."</p>
<hr />
<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 />
<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>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=77Main Page2018-03-20T14:00:27Z<p>Cnoguera: /* Worskhop of the group */</p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
Previous importants events of the group were:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
Forthcoming events:<br />
<br />
* [http://www.latd2018.unibe.ch/ LATD 2018]: Logic, Algebra and Truth Degrees 2018. Bern, Switzerland, 28 - 31 August 2018.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=76Workshops2017-08-01T13:56:04Z<p>Cnoguera: /* Past events */</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017eus.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
=== 2016 ===<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=75Workshops2017-08-01T13:55:28Z<p>Cnoguera: </p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://golori.org/lori2017/ LORI 2017]: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.<br />
<br />
* [http://www.eusflat2017.ibspan.waw.pl/ EUSFLAT 2017]: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.<br />
<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.<br />
<br />
<br />
== Past events ==<br />
<br />
=== 2017 ===<br />
<br />
* [http://mol-wollic2017.eecs.qmul.ac.uk/wollic2017/#!/ WoLLIC 2017]: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017eus.<br />
<br />
* [http://www.cs.cas.cz/tacl2017/ TACL 2017]: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.<br />
<br />
<br />
=== 2016 ===<br />
<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=74Workshops2017-08-01T13:42:37Z<p>Cnoguera: </p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
=== 2017 ===<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
== Past events ==<br />
<br />
=== 2016 ===<br />
<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=73Main Page2017-08-01T13:41:05Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
Previous importants events of the group were:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
Forthcoming events:<br />
* [http://www.cimi.univ-toulouse.fr/en/events/7th-international-workshop-many-valued-logic ManyVal 2017]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=72Main Page2016-02-29T16:17:42Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
The first official meeting of the working group was:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
The next main events are:<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=71Workshops2016-02-29T16:17:10Z<p>Cnoguera: </p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
* [http://iasbs.ac.ir/seminar/math/icmf/home_en.html ICMF 2016]: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.<br />
<br />
* [http://www.klmn.uni.wroc.pl/conference.html 21st Conference on Applications of Logic in Philosophy and Foundations of Mathematics]: Szklarska Poręba, Poland, 9 - 13 May 2016.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. '''Fifth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.wcci2016.org/ FUZZ-IEEE 2016]: IEEE International Conference on Fuzzy Systems, with a [http://www.iiia.csic.es/~diego/fuzzieee2016.htm Special Session on Recent trends in many-valued logic and fuzziness]. Vancouver, Canada 25 - 29 July, 2016.<br />
<br />
* [http://phil.elte.hu/aiml2016/ AiML-2016]: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.<br />
<br />
== Past events ==<br />
<br />
=== 2016 ===<br />
<br />
* [http://sites.google.com/site/fnclmp/ FNC]: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016. <br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
=== 2015 ===<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.logic.at/staff/roschger/workshop/ Workshop on Logical Dialogue games]: 28 - 30 September 28, TU Vienna, Austria.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24 - 26 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=70Main Page2016-02-29T15:00:09Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
The first official meeting of the working group was:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
The next main events are:<br />
<br />
<br />
* [http://www.latd2016.co.za/ LATD 2016]: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016.<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=69Main Page2016-02-29T14:59:26Z<p>Cnoguera: /* Worskhop of the group */</p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
The first official meeting of the working group was:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
The next main events are:<br />
<br />
* [http://sysmics-16.iiia.csic.es SYSMICS 2016]: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=68Workshops2015-07-29T12:23:08Z<p>Cnoguera: </p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://sfla.lakecomoschool.org/ ESSFLA 2015]: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24- 26 September 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2016]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2016/ ISMVL 2016]: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.<br />
<br />
== Past events ==<br />
<br />
=== 2015 ===<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=67Main Page2015-07-29T12:15:32Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul><br />
<br />
===Worskhop of the group===<br />
The next official meeting of the working group will be:<br />
<br />
* [http://mathsites.unibe.ch/manyval2015/ ManyVal 2015]: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=66Workshops2015-05-03T08:41:57Z<p>Cnoguera: /* 2014 */</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24- 26 September 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
== Past events ==<br />
<br />
=== 2015 ===<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. '''Kick-off meeting of the ERCIM ManyVal working group.'''<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&diff=65Workshops2015-05-03T08:39:53Z<p>Cnoguera: Created page with "Meetings about Many-valued logics and related topics. == Forthcoming events == * [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical ..."</p>
<hr />
<div>Meetings about Many-valued logics and related topics.<br />
<br />
== Forthcoming events ==<br />
<br />
* [http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm LAMAS 2015]: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.<br />
<br />
* [http://www.mvl.jpn.org/ISMVL2015/ ISMVL 2015]: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.<br />
<br />
* [http://logika.flu.cas.cz/en/logica/logica-2015 Logica 2015]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.<br />
<br />
* [http://logica.dmi.unisa.it/tacl/express-interest/ TACL 2015]: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.<br />
<br />
* [http://www.appliedlogictudelft.nl/pre-registration-form_trends-in-logic-2015/ Trends in Logic XV]: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.<br />
<br />
* [http://www.softcomputing.es/ifsa-eusflat2015/ IFSA/EUSFLAT 2015]: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.<br />
<br />
* [http://lics.rwth-aachen.de/lics15/ LICS 2015]: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.<br />
<br />
* [http://wollic.org/wollic2015/ WoLLIC 2015]: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.<br />
<br />
* [http://www.iiia.csic.es/wl4ai-2015/ WL4AI 2015]: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.<br />
<br />
* [http://fuzzieee2015.org/ FUZZ-IEEE 2015]: IEEE International Conference on Fuzzy Systems, with a [http://fuzzieee2015.org/wp-content/uploads/2014/10/A-Special-Session-FUZZIEEE201-stefano.pdf Special Session on Recent trends in many-valued logic and fuzziness]. Istanbul, Turkey, 2 - 5 August 2015.<br />
<br />
* [http://clmps.helsinki.fi/ CLMPS 2015]: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.<br />
<br />
* [http://tableaux2015.ii.uni.wroc.pl/ Tableaux 2015]: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.<br />
<br />
* [http://www.illc.uva.nl/Tbilisi/Tbilisi2015/ TbiLLC 2015]: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.<br />
<br />
* [http://www.logika.umk.pl/lnk15/lnk15_en.html 7th Conference on Non-Classical Logic]: Non-Classical Logic. Theory and Applications. Torun, Poland, 24- 26 September 2015.<br />
<br />
* [https://www.yoursaas.cc/websites/36224472513387025486/timeline.html LORI 2015]: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.<br />
<br />
* [http://www.lpar-20.org/ LPAR-20]: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.<br />
<br />
* [http://lfcs.info/lfcs-2016/ LFCS 2016]: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.<br />
<br />
== Past events ==<br />
<br />
=== 2015 ===<br />
<br />
* [http://www.crissp.be/events/lnat-3-the-semantics-and-pragmatics-of-logical-constants/ LNAT 3]: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.<br />
<br />
* [http://sierra.nmsu.edu/blast2015// BLAST 2015]: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.<br />
<br />
=== 2014 ===<br />
<br />
* [http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness Workshop on Vagueness via non-classical logics]: Sydney, Australia, 17 - 19 December 2014.<br />
<br />
* [https://sites.google.com/a/ltumathstats.com/asubl5/ AsubL5]: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.<br />
<br />
* [http://local.disia.unifi.it/Beyond2014/ Beyond True and False]: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014.<br />
<br />
* [http://mis.hevra.haifa.ac.il/~annazam/isralog/ ISRALOG'14]: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.<br />
<br />
* [http://www.ibspan.waw.pl/ieee-is2014/ IEEE IS'14]: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.<br />
<br />
* [http://www.uma.pt/jelia2014 JELIA 2014]: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.<br />
<br />
* [https://fedcsis.org/ FedCSIC 2014]: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.<br />
<br />
* [http://wollic.org/wollic2014/cfp.html WoLLIC 2014]: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.<br />
<br />
* [http://www.esslli2014.info/ ESSLLI 2014]: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course ''Gentle introduction to Mathematical Fuzzy Logic''.<br />
<br />
* [http://vsl2014.at/pages/PRUV-index.html PRUV 2014]: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.<br />
<br />
* [http://www.logic.at/latd2014/ LATD 2014]: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014. '''Fourth official conference of the MathFuzzLog.'''<br />
<br />
* [http://www.ipmu2014.univ-montp2.fr/ IPMU 2014]: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIV.html Trends in Logic XIV]: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.<br />
<br />
* [http://www.studialogica.org/TrendsXIII.html Trends in Logic XIII]: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.<br />
<br />
* [http://www.mini.pw.edu.pl/aaa88/ AAA88]: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.<br />
<br />
* [http://logika.flu.cas.cz/cz/content/logica-2014 Logica 2014]: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.<br />
<br />
* [http://icaisc.eu/ ICAISC 2014]: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.<br />
<br />
* [http://www.informatik.uni-bremen.de/ismvl2014/ ISMVL 2014]: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.<br />
<br />
* [http://www.uff.br/ebl/ EBL 2014]: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.<br />
<br />
* [http://ajd.czest.pl/~aalcs/index_en.php IMI AJD]: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.<br />
<br />
* [http://2014.foiks.org/ FoIKS 2014]: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.<br />
<br />
* [http://www.flll.jku.at/div/research/linz2014/index.html 35th Linz Seminar on Fuzzy Set Theory]: Linz, Austria, 18 - 22 February 2014. Topic: Graded Logical Approaches and their Applications.<br />
<br />
* [http://estylf2014.unizar.es/ ESTYLF 2014]: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.<br />
<br />
* [http://www.math.sk/FSTA FSTA 2014]: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Libor_B%C4%9Bhounek&diff=64Libor Běhounek2014-11-28T14:09:42Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
<br />
Institute for Research and Applications of Fuzzy Modeling<br />
<br />
University of Ostrava<br />
<br />
30. dubna 22, 701 03 Ostrava 1, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~behounek Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Introduction to Mathematical Fuzzy Logic (with P. Cintula and P.<br />
Hájek). In P. Cintula, P. Hájek, C. Noguera, editors,<br />
<em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>,<br />
volume 37 of Studies in Logic, Mathematical Logic and Foundations.<br />
Pp. 1-101, London: College Publication, 2011.</li><br />
<br />
<li>Relational compositions in Fuzzy Class Theory (with M. Daňková).<br />
<em>Fuzzy Sets and Systems</em> 160(8): 1005-1036 (2009).</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with P. Cintula and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li><br />
<br />
<li>Fuzzy Class Theory (with P. Cintula).<br />
<em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Libor_B%C4%9Bhounek&diff=63Libor Běhounek2014-11-28T14:07:06Z<p>Cnoguera: /* Affiliation */</p>
<hr />
<div>===Affiliation===<br />
<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
<br />
Institute for Research and Applications of Fuzzy Modeling<br />
<br />
University of Ostrava<br />
<br />
30. dubna 22, 701 03 Ostrava 1, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~behounek Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;ík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;ík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B&#283;hounek and P. Hájek). In P. Cintula, P. Hájek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1-101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication-negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162-171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153-182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. Hájek). <em>Journal of Logic and Computation</em> 19 (2009) 245-260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B&#283;hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. Hájek and R. Hor&#269;ík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40-65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. Hájek). <em>Journal of Symbolic Logic</em> 71 (2006) 863-880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673-704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642-646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604-610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li><br />
<br />
<li>Product Lukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477-503.</li><br />
<br />
<li>Advances in the LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449-468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Libor_B%C4%9Bhounek&diff=62Libor Běhounek2014-11-28T14:05:58Z<p>Cnoguera: Created page with "===Affiliation=== Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2 18207 Prague 8, Czech Republic Institute for Research ..."</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
Institute for Research and Applications of Fuzzy Modeling<br />
<br />
University of Ostrava<br />
<br />
30. dubna 22, 701 03 Ostrava 1, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~behounek Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;ík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;ík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B&#283;hounek and P. Hájek). In P. Cintula, P. Hájek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1-101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication-negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162-171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153-182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. Hájek). <em>Journal of Logic and Computation</em> 19 (2009) 245-260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B&#283;hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. Hájek and R. Hor&#269;ík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40-65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. Hájek). <em>Journal of Symbolic Logic</em> 71 (2006) 863-880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673-704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642-646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604-610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li><br />
<br />
<li>Product Lukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477-503.</li><br />
<br />
<li>Advances in the LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449-468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Members&diff=61Members2014-11-28T13:44:46Z<p>Cnoguera: </p>
<hr />
<div><u><b>Barcelona:</b></u><br />
<br />
[[Pilar Dellunde]]<br />
<br />
[[Francesc Esteva]]<br />
<br />
[[Lluís Godo]]<br />
<br />
<br />
<u><b>Bern:</b></u><br />
<br />
[[George Metcalfe]]<br />
<br />
<br />
<u><b>Cagliari:</b></u><br />
<br />
[[Hector Freytes]]<br />
<br />
[[Roberto Giuntini]]<br />
<br />
[[Antonio Ledda]]<br />
<br />
[[Francesco Paoli]]<br />
<br />
<br />
<u><b>Florence:</b></u><br />
<br />
[[Leonardo Cabrer]]<br />
<br />
[[Daniele Mundici]]<br />
<br />
<br />
<u><b>Linz:</b></u><br />
<br />
[[Thomas Vetterlein]]<br />
<br />
<br />
<u><b>Milan:</b></u><br />
<br />
[[Stefano Aguzzoli]]<br />
<br />
[[Brunella Gerla]]<br />
<br />
[[Vincenzo Marra]]<br />
<br />
<br />
<u><b>Prague:</b></u><br />
<br />
[[Marta Bílková]]<br />
<br />
[[Libor B&#283;hounek]]<br />
<br />
[[Karel Chvalovský]]<br />
<br />
[[Petr Cintula]]<br />
<br />
[[Zuzana Haniková]]<br />
<br />
[[Rostislav Hor&#269;ík]]<br />
<br />
[[Tomá&#353; Kroupa]]<br />
<br />
[[Carles Noguera]]<br />
<br />
<br />
<u><b>Salerno:</b></u><br />
<br />
[[Antonio Di Nola]]<br />
<br />
[[Luca Spada]]<br />
<br />
<br />
<u><b>Siena:</b></u><br />
<br />
[[Franco Montagna]]<br />
<br />
<br />
<u><b>Vienna:</b></u><br />
<br />
[[Agata Ciabattoni]]<br />
<br />
[[Chris Fermüller]]</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Members&diff=60Members2014-11-28T13:44:31Z<p>Cnoguera: </p>
<hr />
<div><u><b>Barcelona:</b></u><br />
<br />
[[Pilar Dellunde]]<br />
<br />
[[Francesc Esteva]]<br />
<br />
[[Lluís Godo]]<br />
<br />
<br />
<u><b>Berna:</b></u><br />
<br />
[[George Metcalfe]]<br />
<br />
<br />
<u><b>Cagliari:</b></u><br />
<br />
[[Hector Freytes]]<br />
<br />
[[Roberto Giuntini]]<br />
<br />
[[Antonio Ledda]]<br />
<br />
[[Francesco Paoli]]<br />
<br />
<br />
<u><b>Florence:</b></u><br />
<br />
[[Leonardo Cabrer]]<br />
<br />
[[Daniele Mundici]]<br />
<br />
<br />
<u><b>Linz:</b></u><br />
<br />
[[Thomas Vetterlein]]<br />
<br />
<br />
<u><b>Milan:</b></u><br />
<br />
[[Stefano Aguzzoli]]<br />
<br />
[[Brunella Gerla]]<br />
<br />
[[Vincenzo Marra]]<br />
<br />
<br />
<u><b>Prague:</b></u><br />
<br />
[[Marta Bílková]]<br />
<br />
[[Libor B&#283;hounek]]<br />
<br />
[[Karel Chvalovský]]<br />
<br />
[[Petr Cintula]]<br />
<br />
[[Zuzana Haniková]]<br />
<br />
[[Rostislav Hor&#269;ík]]<br />
<br />
[[Tomá&#353; Kroupa]]<br />
<br />
[[Carles Noguera]]<br />
<br />
<br />
<u><b>Salerno:</b></u><br />
<br />
[[Antonio Di Nola]]<br />
<br />
[[Luca Spada]]<br />
<br />
<br />
<u><b>Siena:</b></u><br />
<br />
[[Franco Montagna]]<br />
<br />
<br />
<u><b>Vienna:</b></u><br />
<br />
[[Agata Ciabattoni]]<br />
<br />
[[Chris Fermüller]]</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Thomas_Vetterlein&diff=59Thomas Vetterlein2014-11-11T16:37:02Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
Department of Knowledge-Based Mathematical Systems<br />
<br />
Johannes Kepler University<br />
<br />
Altenberger Straße 69<br />
<br />
4040 Linz<br />
<br />
Austria<br />
<br />
[http://www.flll.jku.at/staff/vetterlein Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>The approximation of left-continuous t-norms. <em>Fuzzy Sets and Systems</em>, to appear.</li><br />
<br />
<li>The construction of left-continuous t-norms: a geometric approach in two dimensions,<em>Fuzzy Sets and Systems</em>, to appear.</li><br />
<br />
<li>Totally ordered monoids based on triangular norms, <em>Communications in Algebra</em>, to appear.</li><br />
<br />
<li>Formal approaches to rule-based systems in medicine: the case of<br />
CADIAG-2 (with A. Ciabattoni, D. Picado Muino, M. El-Zekey), <em>International Journal Approximate Reasoning</em> 54 (2013), 132 - 148.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Vagueness: where degree-based approaches are useful, and where we can do without, <em>Soft Computing</em> 16 (2012), 1833 - 1844.</li><br />
<br />
<li>Plausible reasoning and graded information: a unified approach, <em>Fuzzy Sets and Systems</em> 197 (2012), 71 - 94.</li><br />
<br />
<li>Pseudo-BCK algebras as partial algebras, <em>Information Sciences</em> 180 (2010), 5101 - 5114.</li><br />
<br />
<li>On the (fuzzy) logical content of CADIAG-2 (with A. Ciabattoni), <em>Fuzzy Sets and Systems</em> 161 (2010), 1941 - 1958.</li><br />
<br />
<li>MTL algebras arising from partially ordered groups, <em>Fuzzy Sets and Systems</em> 78 (2010), 433 - 443.</li><br />
<br />
<li>Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras, <em>Mathematical Logic Quaterly</em> 54 (2008), 325 - 342.</li><br />
<br />
<li>A way to interpret L ukasiewicz Logic and Basic Logic, <em>Studia Logica</em> 90 (2008), 407 - 423.</li><br />
<br />
<li>Regular left-continuous t-norms, <em>Semigroup Forum</em> 77 (2008), 339 - 379.</li><br />
<br />
<li>Weak effect algebras, <em>Algebra Universalis</em> 58 (2008), 129 - 143.</li><br />
<br />
<li>Analytic calculi for logics of ordinal multiples of standard t-norms,<br />
<em>Journal of Logic and Computation</em> 18 (2008), 35 - 57.</li><br />
<br />
<li>Boolean algebras with an automorphism group: a framework for Lukasiewicz logic, <em>Journal of Multiple-Valued Logic and Soft Computing</em> 14 (2008), 51 - 67.</li><br />
<br />
<li>Fuzzy logic as a logic of the logic of the expressive strength of<br />
information, <em>Soft Computing</em> 12 (2008), 479 - 485.</li><br />
<br />
<li>t-norms induced by metrics on boolean algebras, <em>Soft Computing</em> 10 (2006), 995 - 1000.</li><br />
<br />
<li>Partial algebras for Lukasiewicz logics and its extensions, <em>Archive for Mathematical Logic</em> 44 (2005), 913 - 933.</li><br />
<br />
<li>BL-algebras and effect algebras, <em>Soft Computing</em> 9 (2005), 557 - 564.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Thomas_Vetterlein&diff=58Thomas Vetterlein2014-11-11T16:25:38Z<p>Cnoguera: Created page with "===Affiliation=== Department of Knowledge-Based Mathematical Systems Johannes Kepler University Altenberger Straße 69 4040 Linz Austria [http://www.flll.jku.at/staff/vet..."</p>
<hr />
<div>===Affiliation===<br />
Department of Knowledge-Based Mathematical Systems<br />
<br />
Johannes Kepler University<br />
<br />
Altenberger Straße 69<br />
<br />
4040 Linz<br />
<br />
Austria<br />
<br />
[http://www.flll.jku.at/staff/vetterlein Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>The approximation of left-continuous t-norms. <em>Fuzzy Sets and Systems</em>, to appear.</li><br />
<br />
<li>The construction of left-continuous t-norms: a geometric approach in two dimensions,<em>Fuzzy Sets and Systems</em>, to appear.</li><br />
<br />
<li>Totally ordered monoids based on triangular norms, <em>Communications in Algebra</em>, to appear.</li><br />
<br />
<li>Formal approaches to rule-based systems in medicine: the case of<br />
CADIAG-2 (with A. Ciabattoni, D. Picado Muino, M. El-Zekey), <em>International Journal Approximate Reasoning</em> 54 (2013), 132 - 148.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
<br />
<li>Logics for approximate and strong entailment (with F. Esteva, R. Rodriguez, L. Godo), <em>Fuzzy Sets and Systems</em> 197 (2012), 59 - 70.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=57Petr Cintula2014-11-11T16:17:35Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;ík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;ík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B&#283;hounek and P. Hájek). In P. Cintula, P. Hájek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1-101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication-negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162-171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153-182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. Hájek). <em>Journal of Logic and Computation</em> 19 (2009) 245-260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B&#283;hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729-1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. Hájek and R. Hor&#269;ík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40-65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. Hájek). <em>Journal of Symbolic Logic</em> 71 (2006) 863-880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673-704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642-646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604-610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B&#283;hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34-55.</li><br />
<br />
<li>Product Lukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477-503.</li><br />
<br />
<li>Advances in the LPi and LPi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449-468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=56Petr Cintula2014-11-11T16:16:02Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;ík). Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;ík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162?171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153?182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). <em>Journal of Logic and Computation</em> 19 (2009) 245?260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor&#269;ík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673?704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604?610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li><br />
<br />
<li>Product ?ukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li><br />
<br />
<li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=55Petr Cintula2014-11-11T16:15:22Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor&#269;ík). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor&#269;ík). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162?171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153?182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). <em>Journal of Logic and Computation</em> 19 (2009) 245?260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor&#269;ík). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673?704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604?610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li><br />
<br />
<li>Product ?ukasiewicz logic (with R. Hor&#269;ík). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li><br />
<br />
<li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=54Petr Cintula2014-11-11T16:14:16Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor??k). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor??k). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162?171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153?182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). <em>Journal of Logic and Computation</em> 19 (2009) 245?260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor??k). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic</em> 45 (2006) 673?704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604?610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li><br />
<br />
<li>Product ?ukasiewicz logic (with R. Hor??k). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li><br />
<br />
<li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=53Petr Cintula2014-11-11T16:13:39Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in <em>Studia Logica</em>.</li><br />
<br />
<li>A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The <em>Journal of Symbolic Logic</em>.</li><br />
<br />
<li>Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). <em>Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014</em>, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.</li><br />
<br />
<li>The quest for the basic fuzzy logic (with C. Noguera and R. Hor??k). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), <em>Outstanding Contributions to Logic</em>, vol. 6, Springer, 2014, pp. 245-290.</li><br />
<br />
<li>Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor??k). <em>The Review of Symbolic Logic</em> 6 (2013) 794-423.</li><br />
<br />
<li>The proof by cases property and its variants in structural consequence relations (with C. Noguera). <em>Studia Logica 101</em> (2013) 713-747.</li><br />
<br />
<li>A general framework for Mathematical Fuzzy Logic (with C. Noguera). <em>Handbook of Mathematical Fuzzy Logic - volume 1</em>, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.</li><br />
<br />
<li>Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, <em>Handbook of Mathematical Fuzzy Logic - Volume 1</em>, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.</li><br />
<br />
<li>Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). <em>Annals of Pure and Applied Logic</em> 162 (2010) 162?171.</li><br />
<br />
<li>Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). <em>Archive for Mathematical Logic</em> 49 (2010) 417-446.</li><br />
<br />
<li>Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). <em>Annals of Pure and Applied Logic</em> 160 (2009) 53-81.</li><br />
<br />
<li>Structural completeness in fuzzy logics (with G. Metcalfe). <em>Notre Dame Journal of Formal Logic</em> 50 (2009) 153?182.</li><br />
<br />
<li>Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). <em>Journal of Logic and Computation</em> 19 (2009) 245?260.</li><br />
<br />
<li>Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). <em>Fuzzy Sets and Systems</em> 159 (2008) 1729?1772.</li><br />
<br />
<li>Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor??k). <em>Annals of Pure and Applied Logic</em> 150 (2007) 40?65.</li><br />
<br />
<li>On theories and models in fuzzy predicate logics (with P. H?jek). <em>Journal of Symbolic Logic</em> 71 (2006) 863?880.</li><br />
<br />
<li>Weakly implicative (fuzzy) logics I: Basic properties. <em>Archive for Mathematical Logic<em> 45 (2006) 673?704.</li><br />
<br />
<li>From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 642?646.</li><br />
<br />
<li>Fuzzy logics as the logics of chains (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 157 (2006) 604?610.</li><br />
<br />
<li>Fuzzy Class Theory (with L. B?hounek). <em>Fuzzy Sets and Systems</em> 154 (2005) 34?55.</li><br />
<br />
<li>Product ?ukasiewicz logic (with R. Hor??k). <em>Archive for Mathematical Logic</em> 43 (2004) 477?503.</li><br />
<br />
<li>Advances in the ?Pi and ?Pi1/2 logics. <em>Archive for Mathematical Logic</em> 42 (2003) 449?468.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=52Petr Cintula2014-11-11T16:07:43Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~cintula Personal webpage]<br />
<br />
===Selected publications===<br />
<br />
A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica.<br />
<br />
A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The Journal of Symbolic Logic.<br />
<br />
Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.<br />
<br />
The quest for the basic fuzzy logic (with C. Noguera and R. Hor??k). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245-290.<br />
<br />
Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor??k). The Review of Symbolic Logic 6 (2013) 794-423.<br />
<br />
The proof by cases property and its variants in structural consequence relations (with C. Noguera). Studia Logica 101 (2013) 713-747.<br />
<br />
A general framework for Mathematical Fuzzy Logic (with C. Noguera). Handbook of Mathematical Fuzzy Logic - volume 1, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.<br />
<br />
Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.<br />
<br />
Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). Annals of Pure and Applied Logic 162 (2010) 162?171.<br />
<br />
Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). Archive for Mathematical Logic 49 (2010) 417-446.<br />
<br />
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.<br />
<br />
Structural completeness in fuzzy logics (with G. Metcalfe). Notre Dame Journal of Formal Logic 50 (2009) 153?182.<br />
<br />
Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). Journal of Logic and Computation 19 (2009) 245?260.<br />
<br />
Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). Fuzzy Sets and Systems 159 (2008) 1729?1772.<br />
<br />
Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor??k). Annals of Pure and Applied Logic 150 (2007) 40?65.<br />
<br />
On theories and models in fuzzy predicate logics (with P. H?jek). Journal of Symbolic Logic 71 (2006) 863?880.<br />
<br />
Weakly implicative (fuzzy) logics I: Basic properties. Archive for Mathematical Logic 45 (2006) 673?704.<br />
<br />
From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). Fuzzy Sets and Systems 157 (2006) 642?646.<br />
<br />
Fuzzy logics as the logics of chains (with L. B?hounek). Fuzzy Sets and Systems 157 (2006) 604?610.<br />
<br />
Fuzzy Class Theory (with L. B?hounek). Fuzzy Sets and Systems 154 (2005) 34?55.<br />
<br />
Product ?ukasiewicz logic (with R. Hor??k). Archive for Mathematical Logic 43 (2004) 477?503.<br />
<br />
Advances in the ?Pi and ?Pi1/2 logics. Archive for Mathematical Logic 42 (2003) 449?468.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Petr_Cintula&diff=51Petr Cintula2014-11-11T16:06:27Z<p>Cnoguera: Created page with "A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica. A Henkin-style proof of completeness for first-order algebraizable log..."</p>
<hr />
<div>A note on natural extensions in abstract algebraic logic (with C. Noguera). To appear in Studia Logica.<br />
<br />
A Henkin-style proof of completeness for first-order algebraizable logics (with C. Noguera). To appear in The Journal of Symbolic Logic.<br />
<br />
Modal logics of uncertainty with two layer-syntax: a general completeness theorem (with C. Noguera). Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barcel?, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136.<br />
<br />
The quest for the basic fuzzy logic (with C. Noguera and R. Hor??k). Petr H?jek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245-290.<br />
<br />
Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties (with C. Noguera and R. Hor??k). The Review of Symbolic Logic 6 (2013) 794-423.<br />
<br />
The proof by cases property and its variants in structural consequence relations (with C. Noguera). Studia Logica 101 (2013) 713-747.<br />
<br />
A general framework for Mathematical Fuzzy Logic (with C. Noguera). Handbook of Mathematical Fuzzy Logic - volume 1, chapter II, P. Cintula, P. H?jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103-207.<br />
<br />
Introduction to Mathematical Fuzzy Logic (with L. B?hounek and P. H?jek). In P. Cintula, P. H?jek, C. Noguera, editors, Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 of Studies in Logic, Mathematical Logic and Foundations. 1?101, London: College Publication, 2011.<br />
<br />
Admissible rules in the implication?negation fragment of intuitionistic logic (with G. Metcalfe). Annals of Pure and Applied Logic 162 (2010) 162?171.<br />
<br />
Implicational (Semilinear) Logics I: A New Hierarchy (with C. Noguera). Archive for Mathematical Logic 49 (2010) 417-446.<br />
<br />
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (with C. Noguera, F. Esteva, J. Gispert, L. Godo and F. Montagna). Annals of Pure and Applied Logic 160 (2009) 53-81.<br />
<br />
Structural completeness in fuzzy logics (with G. Metcalfe). Notre Dame Journal of Formal Logic 50 (2009) 153?182.<br />
<br />
Complexity issues in axiomatic extensions of Lukasiewicz logic (with P. H?jek). Journal of Logic and Computation 19 (2009) 245?260.<br />
<br />
Relations in Fuzzy Class Theory: Initial steps (with L. B?hounek and U. Bodenhofer). Fuzzy Sets and Systems 159 (2008) 1729?1772.<br />
<br />
Formal systems of fuzzy logic and their fragments (with P. H?jek and R. Hor??k). Annals of Pure and Applied Logic 150 (2007) 40?65.<br />
<br />
On theories and models in fuzzy predicate logics (with P. H?jek). Journal of Symbolic Logic 71 (2006) 863?880.<br />
<br />
Weakly implicative (fuzzy) logics I: Basic properties. Archive for Mathematical Logic 45 (2006) 673?704.<br />
<br />
From fuzzy logic to fuzzy mathematics: A methodological manifesto (with L. B?hounek). Fuzzy Sets and Systems 157 (2006) 642?646.<br />
<br />
Fuzzy logics as the logics of chains (with L. B?hounek). Fuzzy Sets and Systems 157 (2006) 604?610.<br />
<br />
Fuzzy Class Theory (with L. B?hounek). Fuzzy Sets and Systems 154 (2005) 34?55.<br />
<br />
Product ?ukasiewicz logic (with R. Hor??k). Archive for Mathematical Logic 43 (2004) 477?503.<br />
<br />
Advances in the ?Pi and ?Pi1/2 logics. Archive for Mathematical Logic 42 (2003) 449?468.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Tom%C3%A1%C5%A1_Kroupa&diff=50Tomáš Kroupa2014-11-11T16:05:45Z<p>Cnoguera: Created page with "===Affiliation=== Università degli Studi di Milano Dipartimento di Matematica "Federigo Enriques” [http://staff.utia.cas.cz/kroupa/ Personal webpage] ===Selected public..."</p>
<hr />
<div>===Affiliation===<br />
Università degli Studi di Milano<br />
<br />
Dipartimento di Matematica "Federigo Enriques”<br />
<br />
[http://staff.utia.cas.cz/kroupa/ Personal webpage]<br />
<br />
===Selected publications===</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=George_Metcalfe&diff=49George Metcalfe2014-11-11T16:03:51Z<p>Cnoguera: /* Selected publications */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Mathematical Institute<br />
<br />
University of Bern<br />
<br />
[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).<br />
<em>Springer Series in Applied Logic</em> Vol. 36 (284 pages), 2008.</li><br />
<br />
<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller). <em>Studia Logica</em>, 92(1) (2009), 27-61.</li><br />
<br />
<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).<br />
<em>Archive for Mathematical Logic</em> 46(6) (2007), 425-449.</li><br />
<br />
<li>Substructural Fuzzy Logics (with F. Montagna). <em>Journal of Symbolic Logic</em> 72(3) (2007), 834-864.</li><br />
<br />
<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). <em>ACM Transactions on Computational Logic</em> 6(3) (2005), 578-613.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=George_Metcalfe&diff=48George Metcalfe2014-11-11T16:02:35Z<p>Cnoguera: </p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Mathematical Institute<br />
<br />
University of Bern<br />
<br />
[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]<br />
<br />
===Selected publications===<br />
<ul><br />
<li>Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).<br />
Springer Series in Applied Logic Vol. 36 (284 pages), 2008.</li><br />
<br />
<li>Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermüller).Studia Logica, 92(1) (2009), 27-61.</li><br />
<br />
<li>Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).<br />
Archive for Mathematical Logic 46(6) (2007), 425-449.</li><br />
<br />
<li>Substructural Fuzzy Logics (with F. Montagna). Journal of Symbolic Logic 72(3) (2007), 834-864.</li><br />
<br />
<li>Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay). ACM Transactions on Computational Logic 6(3) (2005), 578-613.</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=George_Metcalfe&diff=47George Metcalfe2014-11-11T16:00:51Z<p>Cnoguera: Created page with "===Affiliation=== Institute of Computer Science Mathematical Institute University of Bern [http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Person..."</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Mathematical Institute<br />
<br />
University of Bern<br />
<br />
[http://www.math.unibe.ch/content/staff/professoren/metcalfe/index_ger.html Personal webpage]<br />
<br />
<br />
===Selected publications===<br />
<br />
Proof Theory for Fuzzy Logics (with N. Olivetti and D. Gabbay).<br />
Springer Series in Applied Logic Vol. 36 (284 pages), 2008.<br />
<br />
Giles's Game and Proof Theory for Lukasiewicz Logic (with C. G. Fermuller).<br />
Studia Logica, 92(1) (2009), 27-61.<br />
<br />
Fuzzy Logics Based on [0,1)-Continuous Uninorms (with D. Gabbay).<br />
Archive for Mathematical Logic 46(6) (2007), 425-449.<br />
<br />
Substructural Fuzzy Logics (with F. Montagna).<br />
Journal of Symbolic Logic 72(3) (2007), 834-864.<br />
<br />
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics (with N. Olivetti and D. Gabbay).<br />
ACM Transactions on Computational Logic 6(3) (2005), 578-613.</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=46Main Page2014-11-11T15:31:44Z<p>Cnoguera: </p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics benefits from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Zuzana_Hanikov%C3%A1&diff=45Zuzana Haniková2014-11-06T10:34:22Z<p>Cnoguera: /* Affiliation */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[http://www.cs.cas.cz/~zuzana Personal webpage]<br />
<br />
===Selected publications===</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Zuzana_Hanikov%C3%A1&diff=44Zuzana Haniková2014-11-06T10:32:00Z<p>Cnoguera: /* Affiliation */</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[www.cs.cas.cz/~zuzana Personal webpage]<br />
<br />
===Selected publications===</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Zuzana_Hanikov%C3%A1&diff=43Zuzana Haniková2014-11-06T10:30:42Z<p>Cnoguera: Created page with "===Affiliation=== Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou věží 2 18207 Prague 8, Czech Republic [www.cs.cas.cz/~zuzana ..."</p>
<hr />
<div>===Affiliation===<br />
Institute of Computer Science<br />
<br />
Academy of Sciences of the Czech Republic<br />
<br />
Pod Vodárenskou věží 2<br />
<br />
18207 Prague 8, Czech Republic<br />
<br />
[www.cs.cas.cz/~zuzana Personal webpage]<br />
<br />
<br />
===Selected publications===</div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=42Main Page2014-11-06T10:27:04Z<p>Cnoguera: /* Board of the group */</p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics has benefited from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic)</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul></div>Cnoguerahttps://wiki.ercim.eu/wg/ManyVal/index.php?title=Main_Page&diff=41Main Page2014-11-06T10:26:43Z<p>Cnoguera: /* Board of the group */</p>
<hr />
<div><big>'''ERCIM ManyVal Working Group'''</big><br />
<br />
<b>ManyVal</b> is an ERCIM working group focusing on current hot topics inside the broad field of many-valued logics.<br />
<br />
<br />
===Many-valued logics===<br />
Many-valued logics are non-classical logics whose intended semantics have more than two truth-values. They were first studied in the early 20th century as a rather marginal topic in works by &#321;ukasiewicz and Post on finitely-valued logics. In the past few decades, however, many-valued logics have gained more and more prominence, attracting an increasing number of researchers studying a growing family of logics arising from a broad range of motivations and yielding numerous applications.<br />
<br />
Many-valued logics currently occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued &#321;ukasiewicz logics, fuzzy logics (&#321;ukasiewicz infinitely-valued logic, Gödel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc.<br />
<br />
Moreover, other systems such as intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems.<br />
<br />
Research on this family of logics has benefited from connections with other mathematical disciplines such as universal algebra, topology, model theory, proof theory, game theory and category theory, and has resulted in many applications in fields across mathematics, philosophy and computer science.<br />
<br />
<br />
===Board of the group===<br />
<ul><br />
<li>[[Carles Noguera]] (Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic) (chair)</li><br />
<li>[[Agata Ciabattoni]] (Vienna University of Technology)</li><br />
<li>[[Petr Cintula]] (Institute of Computer Science, Academy of Sciences of the Czech Republic</li><br />
<li>[[Vincenzo Marra]] (University of Milan)</li><br />
<li>[[George Metcalfe]] (University of Bern)</li><br />
</ul></div>Cnoguera