# Difference between revisions of "Main Page"

(→MathFuzzLog official meetings: Updating) |
|||

(20 intermediate revisions by 2 users not shown) | |||

Line 1: | Line 1: | ||

Welcome to the page of the working group on [[Mathematical Fuzzy Logic]], the '''MathFuzzLog''', founded in September 2007. Its aims are to conduct and promote the research in [[Mathematical Fuzzy Logic|'''Mathematical Fuzzy Logic''']] understood as a bunch of | Welcome to the page of the working group on [[Mathematical Fuzzy Logic]], the '''MathFuzzLog''', founded in September 2007. Its aims are to conduct and promote the research in [[Mathematical Fuzzy Logic|'''Mathematical Fuzzy Logic''']] understood as a bunch of | ||

− | ''formal systems of non-classical logics'' as established | + | ''formal systems of non-classical logics'' as established after [[Petr Hájek|Hájek]]'s |

monograph, [[Metamathematics of Fuzzy Logic]]. | monograph, [[Metamathematics of Fuzzy Logic]]. | ||

+ | |||

+ | '''MathFuzzLog''' is a working group of [http://www.eusflat.org EUSFLAT] (European Society for Fuzzy Logic and Technology). All members of the group are encouraged to become also [http://www.eusflat.org/members/ members of EUSFLAT]. | ||

''' Coordinators ''' | ''' Coordinators ''' | ||

− | * [[ | + | * [[Brunella Gerla]], [[Department of Theoretical and Applied Science, University of Insubria]] |

− | * [[ | + | * [[Tommaso Flaminio]], |

− | ''' | + | ''' Former Coordinators (2007 -- 2016)''' |

− | + | * [[Petr Cintula]], [[Institute of Computer Science, Academy of Sciences of the Czech Rep.]] | |

− | + | * [[Carles Noguera]], [[Institute of Information Theory and Automation, Academy of Sciences of the Czech Rep.]] | |

− | |||

− | |||

This official page of the '''MathFuzzLog''' is intended to be written collaboratively by the members of the group, in the style of [http://www.wikipedia.org Wikipedia]. We expect to obtain a useful site for all researchers in [[Mathematical Fuzzy Logic]] around the world, with relevant information about the topics under the scope of the group, the main publications, information about the researchers and their institutions and activities, etc. Therefore all members are kindly encouraged to edit the entries and add new ones following our [[guidelines]]. | This official page of the '''MathFuzzLog''' is intended to be written collaboratively by the members of the group, in the style of [http://www.wikipedia.org Wikipedia]. We expect to obtain a useful site for all researchers in [[Mathematical Fuzzy Logic]] around the world, with relevant information about the topics under the scope of the group, the main publications, information about the researchers and their institutions and activities, etc. Therefore all members are kindly encouraged to edit the entries and add new ones following our [[guidelines]]. | ||

''' Web administrator ''' | ''' Web administrator ''' | ||

+ | |||

+ | * [[Diego Valota]], [[Department of Computer Science, University of Milano]] | ||

+ | |||

+ | ''' Former Web administrator ''' | ||

* [[Karel Chvalovský]], [[Institute of Computer Science, Academy of Sciences of the Czech Rep.]] | * [[Karel Chvalovský]], [[Institute of Computer Science, Academy of Sciences of the Czech Rep.]] | ||

+ | |||

+ | |||

+ | == New reference books == | ||

+ | |||

+ | * P. Cintula, P. Hájek and C. Noguera (eds). [[Handbook of Mathematical Fuzzy Logic]], Studies in Logic, Mathematical Logic and Foundations, vol. 37, 38 and 58, College Publications, London, 2011. | ||

+ | |||

+ | * Daniele Mundici. [[Advanced Łukasiewicz calculus and MV-algebras]], Trends in Logic, Vol. 35, Springer, 2011. | ||

== MathFuzzLog official meetings == | == MathFuzzLog official meetings == | ||

− | * The first official conference of the '''MathFuzzLog''', [[Logic, Algebra and Truth Degrees]], was held in Siena, Italy, 8 - 11 September 2008. | + | * The first official conference of the '''MathFuzzLog''', [[Logic, Algebra and Truth Degrees]], was held in Siena, Italy, 8 - 11 September 2008. [http://www.mathfuzzlog.org/latd2008/ Web page of the conference] |

+ | |||

+ | * The second [[Logic, Algebra and Truth Degrees]] was in Prague, Czech Republic, 7 - 11 September 2010. [http://www.mathfuzzlog.org/latd2010/ Web page of the conference] | ||

+ | |||

+ | * The third [[Logic, Algebra and Truth Degrees]] was in Kanazawa, Japan, 2012. [http://www.jaist.ac.jp/rcis/latd12/ Web page of the conference] | ||

− | * The | + | * The fourth [[Logic, Algebra and Truth Degrees]] was in Vienna, 16 - 19 July 2014, in the context of [http://vsl2014.at/ Vienna Summer of Logic]. |

− | * The | + | * The fifth [[Logic, Algebra and Truth Degrees]] will take place in Phalaborwa, South Africa, 28 - 30 June 2016. [http://www.latd2016.co.za/ Web page of the conference] |

== Main sections == | == Main sections == | ||

Line 44: | Line 59: | ||

* [[Special issues and edited volumes|Special issues and edited volumes]] | * [[Special issues and edited volumes|Special issues and edited volumes]] | ||

* [[Tools|Tools]] | * [[Tools|Tools]] | ||

+ | |||

+ | == Become a member! == | ||

+ | |||

+ | If you are doing research in some of the topics under the scope of the group, you are encouraged to join the MathFuzzLog. [http://www.mathfuzzlog.org/index.php/Special:RequestAccount Click here!] |

## Latest revision as of 11:04, 7 June 2017

Welcome to the page of the working group on Mathematical Fuzzy Logic, the **MathFuzzLog**, founded in September 2007. Its aims are to conduct and promote the research in **Mathematical Fuzzy Logic** understood as a bunch of
*formal systems of non-classical logics* as established after Hájek's
monograph, Metamathematics of Fuzzy Logic.

**MathFuzzLog** is a working group of EUSFLAT (European Society for Fuzzy Logic and Technology). All members of the group are encouraged to become also members of EUSFLAT.

** Coordinators **

** Former Coordinators (2007 -- 2016)**

- Carles Noguera, Institute of Information Theory and Automation, Academy of Sciences of the Czech Rep.

This official page of the **MathFuzzLog** is intended to be written collaboratively by the members of the group, in the style of Wikipedia. We expect to obtain a useful site for all researchers in Mathematical Fuzzy Logic around the world, with relevant information about the topics under the scope of the group, the main publications, information about the researchers and their institutions and activities, etc. Therefore all members are kindly encouraged to edit the entries and add new ones following our guidelines.

** Web administrator **

** Former Web administrator **

## New reference books

- P. Cintula, P. Hájek and C. Noguera (eds). Handbook of Mathematical Fuzzy Logic, Studies in Logic, Mathematical Logic and Foundations, vol. 37, 38 and 58, College Publications, London, 2011.

- Daniele Mundici. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, Vol. 35, Springer, 2011.

## MathFuzzLog official meetings

- The first official conference of the
**MathFuzzLog**, Logic, Algebra and Truth Degrees, was held in Siena, Italy, 8 - 11 September 2008. Web page of the conference

- The second Logic, Algebra and Truth Degrees was in Prague, Czech Republic, 7 - 11 September 2010. Web page of the conference

- The third Logic, Algebra and Truth Degrees was in Kanazawa, Japan, 2012. Web page of the conference

- The fourth Logic, Algebra and Truth Degrees was in Vienna, 16 - 19 July 2014, in the context of Vienna Summer of Logic.

- The fifth Logic, Algebra and Truth Degrees will take place in Phalaborwa, South Africa, 28 - 30 June 2016. Web page of the conference

## Main sections

- Important definitions
- Journals and Book series
- Meetings and special sessions
- Open problems list
- Position offers
- Preprints
- Publications
- Research centers
- Researchers
- Special issues and edited volumes
- Tools

## Become a member!

If you are doing research in some of the topics under the scope of the group, you are encouraged to join the MathFuzzLog. Click here!