Logic List Mailing Archive

CfP: Special Session on Mathematical Fuzzy Logic (SS03) – EUSFLAT 2025, 21-25 July 2025, Riga (Latvia), Deadline: 31 Jan 2025

Special Session on Mathematical Fuzzy Logic (SS03) at Eusflat 2025
conference.

Special Session Organizers:

- Matteo Bianchi, Department of Computer Science "Giovanni degli Antoni",
Universit? degli Studi di Milano
matteo.bianchi@unimi.it
- Tommaso Flaminio, IIIA-CSIC, Barcelona
tommaso@iiia.csic.es
- Amanda Vidal, IIIA-CSIC, Barcelona
amanda@iiia.csic.es

This special session is devoted to the most recent developments of
Mathematical Fuzzy Logic. Thus, to formal fuzzy logics from a mathematical
point of view. We encourage particular emphasis on theoretical advances
related to many-valued logics, algebraic semantics, combinatorial aspects,
topological and categorical methods, proof theory and game theory,
many-valued computation, many-valued logics and finite model theory,
many-valued logics and AI.

** This special session is dedicated to Franco Montagna (1948-2015), an
important figure in the area of Mathematical Fuzzy Logic. **
a
A partial list of topics is the following:


- Algebraic semantics of fuzzy logics
- First-order fuzzy logics, with applications to model theory and  finite
model theory
- Fuzzy modal logics
- Proof theory for fuzzy logics
- Combinatorial or topological dualities
- Computational complexity of many-valued logics
- Fuzzy logic approaches to (subjective) probability and general
uncertainty models
- Fuzzy logics and automated reasoning
- Fuzzy logics and AI
....

The special session is part of the event EUSFLAT 2025 that will be held in
Riga (Latvia) from July 21 to 25, 2025

The conference allows two types of contributions, namely:


-* full papers (up to 12 pages)* to be published in the proceedings, *Lecture
Notes in Computer Science (LNCS) by Springer*

-* abstracts (up to 1 page)* for the* Book of abstract published by the
University of Latvia*

*All details can be found here: https://eusflat2025.eu/submissions.html
<https://eusflat2025.eu/submissions.html>*


*Important Dates:*

   - Paper Submission Deadline: 31 January, 2025
   - Abstract Submission Deadline: 30 April, 2025
   - Conference Dates: 21-25 July, 2025

*https://eusflat2025.eu/* <https://eusflat2025.eu/>
--

Matteo Bianchi, PhD,

Universit? degli Studi di Milano,

Department of Computer Science "Giovanni degli Antoni",

via celoria 18, 20133, Milano, Italy.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php