General Info

This year the conference LATD will be colocated with the MOSAIC Kick Off Conference.

LATD 2022

The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas and to promote communication and cooperation with members of neighbouring fields. Previous editions of LATD were held in Siena (2008), Prague (2010), Kanazawa (2012), Vienna (2014), Phalaborwa (2016), and Bern (2018).

MOSAIC Kick Off Conference

The Horizon 2020 Marie Curie-Skłodowska RISE project MOSAIC (Modalities in Substructural Logics: Theory Methods and Applications) has started in September 2021 and its first meeting will be held in Paestum together with the conference LATD.

Invited Speakers

Invited Speakers LATD

Bahareh Afshari
University of Amsterdam, Netherlands
Interpolation Meets Cyclic Proofs (slides)
Abstract
Mamuka Jibladze
Razmadze Mathematical Institute, Georgia
Some facts and questions around the Kuznetsov problem (slides)
Abstract
Matteo Mio
École Normale Supérieure de Lyon, France
Applications of Real Valued Logics to Probabilistic Logics (slides)
Abstract
Daniele Mundici
University of Florence, Italy
Łukasiewicz logic, MV-algebras and AF C*-algebraic truth-degrees (slides)
Abstract
Sara Negri
University of Genoa, Italy
On the modal embedding of intuitionistic logic: Gödel's proof of his 1933 conjecture (slides)
Abstract
Carles Noguera
University of Siena, Italy
First-order fuzzy logics and their model theory (slides)
Abstract
Alessandra Palmigiano
Vrije Universiteit Amsterdam, Netherlands
From unified correspondence to parametric correspondence (slides)
Abstract

Invited Speakers MOSAIC Kick Off

Silvio Ghilardi
University of Milan, Italy
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras (slides)
Abstract
Sonia Marin
University of Birmingham, UK
Ecumenical modal logic (slides)
Abstract
Nicola Olivetti
Aix-Marseille University, France
A Journey in Intuitionistic Modal Logic: normal and non-normal modalities (slides)
Abstract
Sara Ugolini
IIIA - CSIC of Barcelona, Spain
Łukasiewicz logic reasons about probability: encoding de Finetti coherence in MV-algebras (slides)
Abstract

Submissions

Call for Abstracts LATD

LATD invites contributions on any relevant aspects of logical systems (including many valued, fuzzy, substructural, modal and quantum logics), in particular:

  • Proof theory and computational complexity
  • Algebraic semantics and abstract algebraic logic
  • First-order, higher-order and modal formalisms
  • Geometric and game-theoretic aspects
  • Applications and foundational issues

Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via the Easychair website

IMPORTANT DATES

Submission deadline: 30 April 2 May 2022
Notification: 1 June 2022
Early registration deadline: 15 June 2022
Late registration deadline: 31 August 2022
Conference: 4-11 September 2022

Call for Abstracts MOSAIC Kick Off

MOSAIC 2022 invites submissions on a variety of topics on modal substructural logics and their applications. We therefore invite contributions on relevant aspects of non-classical modal logical systems, such as:

  • Residuated lattices with modal operators;
  • Relational frames and structural properties;
  • Coalgebras and coalgebraic approach to substructural modal logics;
  • Correspondence theory;
  • Fixpoint logics;
  • Proof theory and complexity for substructural modal logics;
  • Modal logics for reasoning about norms, time, preferences, uncertainty;
  • Applications of substructural modal logics to KRR and learning.

Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via the Easychair website

IMPORTANT DATES

Submission deadline: 30 April 2022
Notification: 1 June 2022
Early registration deadline: 15 June 2022
Late registration deadline: 31 August 2022
Conference: 4-11 September 2022

Committees

Program Committee LATD

Nick Bezhanishvili (Chair, University of Amsterdam, Netherlands), PC co-chair
Petr Cintula (Czech Academy of Sciences, Czech Republic), PC co-chair
Matthias Baaz (Vienna University of Technology, Austria)
Marta Bilkova (Czech Academy of Sciences, Czech Republic)
Agata Ciabattoni (Vienna University of Technology, Austria)
David Gabelaia (Razmadze Mathematical Institute, Georgia)
Nick Galatos (University of Denver, USA)
Mai Gehrke (University of Nice, France)
Lluis Godo (IIIA-CSIC, Spain)
John Harding (New Mexico State University, USA)
Wesley Holliday (University of California, Berkeley, USA)
Rosalie Iemhoff (Utrecht University, Netherlands)
Peter Jipsen (Chapman University, USA)
Alexander Kurz (Chapman University, USA)
Vincenzo Marra (University of Milan, Italy)
George Metcalfe (University of Bern, Switzerland)
Tommaso Moraschini (Czech Academy of Sciences, Czech Republic)
Luca Spada (University of Salerno, Italy)
Kazushige Terui (Kyoto University, Japan)
Yde Venema (University of Amsterdam, Netherlands)

Program Committee MOSAIC Kick Off

Tommaso Flaminio (IIIA-CSIC, Spain), PC chair
Nick Bezhanishvili (University of Amsterdam, Netherlands)
Marta Bilková (Czech Academy of Sciences, Czech Republic)
Agata Ciabattoni (Vienna University of Technology, Austria)
Pilar Dellunde (Autonomous University of Barcelona, Spain)
Sabine Frittella (INSA Centre Val de Loire, France)
Brunella Gerla (University of Insubria, Italy)
Lluis Godo (IIIA-CSIC, Spain)
Rafal Gruszczynski (Nicolaus Copernicus University, Poland)
Hykel Hosni (University of Milan, Italy)
Rosalie Iemhoff (Utrecht University, Netherlands)
George Metcalfe (University of Bern, Switzerland)
Tommaso Moraschini (University of Barcelona, Spain)
Sara Negri (University of Genoa, Italy)
Carles Noguera (University of Siena, Italy)
Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands)
David Pym (University College London, UK)
Giovanni Sartor (University of Bologna and European University Institute, Italy)
Luca Spada (University of Salerno, Italy)

Organising Committee

Marco Abbadini (University of Salerno, Italy)
Luca Carai (University of Salerno, Italy)
Serafina Lapenta (Chair for LATD, University of Salerno, Italy)
Giacomo Lenzi (University of Salerno, Italy)
Luca Spada (Chair for MOSAIC, University of Salerno, Italy)
Gaetano Vitale (University of Salerno, Italy)

Programme

4 September
17:00 17:30 Registration at Hotel Tafuri
19:30 22:00 Welcome Party
5 September
09:30 10:30 Silvio Ghilardi
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
10:30 11:00 Coffee break
11:00 11:30 Damiano Fornasiere and Tommaso Moraschini
Sahlqvist theory for fragments of Intuitionistic Logic
Rafal Gruszczynski and Paula Menchon
From contact relations to modal operators, and back
11:30 12:00 Damiano Fornasiere and Tommaso Moraschini
Intuitionistic Sahlqvist correspondence for deductive systems
Umberto Rivieccio
Nelson conuclei and nuclei: the twist construction beyond involutivity
12:00 12:15 Short break
12:15 12:45 Guram Bezhanishvili, Nick Bezhanishvili and Tommaso Moraschini
Degrees of the finite model property: The antidichotomy theorem
Umberto Rivieccio
Intutionistic modal algebras and twist representations
12:45 13:15 Anton Chernev
Degrees of FMP in extensions of bi-intuitionistic logic
María Paula Menchón and Ricardo Oscar Rodriguez
Modal Nelson lattices and their associated twist structures
13:15 15:00 Lunch break
15:00 16:00 Mamuka Jibladze
Some facts and questions around the Kuznetsov problem
16:00 16:30 Coffee break
16:30 17:00 Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra
Polyhedral Completeness of Intermediate and Modal Logics
Noemi Lubomirsky and José Patricio Díaz Varela
Free algebras in all subvarieties of the variety generated by the MG t-norm
17:00 17:30 Nick Bezhanishvili, Miguel Martins and Tommaso Moraschini
Bi-intermediate Logics of Trees and Co-trees
6 September
09:30 10:30 Sonia Marin
Ecumenical modal logic
10:30 11:00 Coffee break
11:00 11:30 Gabriel Savoy, Patricio Diaz Varela and Diego Castaño
Strong standard completeness for S5-modal Lukasiewicz logics
Raheleh Jalali
Weak Systems Have Intractable Theorems
11:30 12:00 Amanda Vidal Wandelmer
Local Modal Product Logic is decidable
Hans van Ditmarsch, Krisztina Fruzsa and Roman Kuznets
Framing Faultiness Kripke Style
12:00 12:15 Short break
12:15 12:45 Alexander Kurz, Bruno Teheux and Wolfgang Poiger
Many-valued coalgebraic logic with a semi-primal algebra of truth-degrees
Shimpei Endo
Truthmaker Semantics for Degreeism of Vagueness
12:45 13:15 Juan Pablo Aguilera, Martı́n Diéguez, David Fernández-Duque and Brett McLean
Gödel temporal logic
Antonio Piccolomini d'Aragona
Quantificational issues in Prawitzian validity
13:15 15:00 Lunch break
15:00 16:00 Matteo Mio
Applications of Real Valued Logics to Probabilistic Logics
16:00 16:30 Coffee break
16:30 17:00 Tommaso Moraschini
On equational completeness theorems
Matthias Baaz, Christian Fermüller and Norbert Preining
Cut-Elimination for a Hypersequent Calculus for First-order Gödel Logic over [0,1] with Delta
17:00 17:30 Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot and Tommaso Moraschini
Positive (Modal) Logic Beyond Distributivity
7 September
09:30 10:30 Sara Negri
On the modal embedding of intuitionistic logic: Gödel's proof of his 1933 conjecture
10:30 11:00 Coffee break
11:00 11:30 James Carr, Nick Bezhanishvili and Tommaso Moraschini
Hereditary Structural Completeness over K4
Nicholas Ferenz
Quantified Relevant logic RQ with Constant Domains!? A Perspective from Quantified Modal Logics
11:30 12:00 Joan Gispert, Zuzana Haniková, Tommaso Moraschini and Michal Stronkowski
Structural completeness and lattice of extensions in many-valued logics with rational constants
Søren Brinck Knudstorp
Modal Information Logic: Decidability and Completeness
12:00 12:15 Short break
12:15 12:45 Elaine Pimentel, Stepan Kuznetsov, Andre Scedrov, Eben Blaisdell and Max Kanovich
Some Proof-theoretical aspects of non-associative, non-commutative multi-modal linear logic
Matteo Acclavio
Logic Beyond Formulas: Designing Proof Systems on Graphs
12:45 13:15 Timo Lang, Carlos Olarte and Elaine Pimentel
What is the cost of cut?
Davide Catta, Matteo Acclavio and Lutz Straßburger
Game semantics for constructive modal logic
13:15 15:00 Lunch break
15:00 16:00 Nicola Olivetti
A Journey in Intuitionistic Modal Logic: normal and non-normal modalities
16:00 16:30 Coffee break
16:30 17:00 Bruno Xavier, Carlos Olarte and Elaine Pimentel
A focused linear nested system for multi-modalities
Igor Sedlar and Pietro Vigiani
Relevant Reasoners in a Classical World
17:00 17:30 Thomas Studer and Lukas Zenger
Proof Theory for Intuitionistic Temporal Logic over Topological Dynamics
Davide Fazio and Gavin St. John
Connexive implication in substructural logics
8 September
09:30 10:30 Sara Ugolini
Łukasiewicz logic reasons about probability: encoding de Finetti coherence in MV-algebras
10:30 11:00 Coffee break
11:00 11:30 Petr Cintula and Carles Noguera
Axiomatization of Logics with Two-Layered Modal Syntax: The Protoalgebraic Case
Jamie Wannenburg and Igor Sedlár
One-sorted Program Algebras
11:30 12:00 Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer and Sajad Nazari
Reasoning with probabilities and belief functions over Belnap–Dunn logic
Adam Přenosil
Logics of upsets of De Morgan lattices
12:00 12:15 Short break
12:15 12:45 Petr Cintula, George Metcalfe and Naomi Tokuda
One-Variable Lattice-Valued Logics
Giuseppe Greco, Krishna Manoorkar, Apostolos Tzimoulis, Sabine Frittella and Daniil Kozhemiachenko
Probability via Lukasiewicz logic - A multi-type semantic and proof theoretical account
12:45 13:15 Petr Cintula and Carles Noguera
The general algebraic framework for Mathematical Fuzzy Logic
Paolo Baldi and Hykel Hosni
Logical Approximations of Qualitative Probability
13:15 15:00 Lunch break
Free afternoon
9 September
09:30 10:30 Alessandra Palmigiano
From unified correspondence to parametric correspondence
10:30 11:00 Coffee break
11:00 11:30 Giuseppe Greco, Apostolos Tzimoulis, Michael Moortgat and Mattia Panettiere
Multi-type modal extensions of the Lambek calculus for structural control
Marianna Girlando, Ekaterina Kubyshkina and Mattia Petrolo
A proof-theoretic approach to ignorance
11:30 12:00 Raoul Koudijs and Balder ten Cate
Finite Characterisations of Modal Formulas
Giuliano Rosella and Sara Ugolini
Algebras of Counterfactual Conditionals
12:00 12:15 Short break
12:15 12:45 Paolo Aglianò and Sara Ugolini
Strictly join irreducible varieties of residuated lattices
Giuliano Rosella, Tommaso Flaminio and Stefano Bonzio
Modal Algebraic Models of Counterfactuals
12:45 13:15
13:15 15:00 Lunch break
15:00 16:00 Carles Noguera
First-order fuzzy logics and their model theory
16:00 16:30 Coffee break
16:30 17:30 Bahareh Afshari
Interpolation Meets Cyclic Proofs
17:45 18:45 MOSAIC meeting
19:30 22:30 Social dinner
10 September
09:30 10:30 Daniele Mundici
Łukasiewicz logic, MV-algebras and AF C*-algebraic truth-degrees
10:30 11:00 Coffee break
11:00 11:30 Valeria Giustarini
From implicative reducts to Mundici’s functor
Michal Botur and Tomasz Kowalski
Kites and pseudo MV-algebras
11:30 12:00 Marta Bilkova, Petr Cintula and Carles Noguera
Towards a non-integral variant of Łukasiewicz logic
Darline Laure Keubeng Yemene, Lele Celestin, Stefan Schmidt and Tallee Kakeu Ariane Gabriel
Some properties of residuated lattices using two parameters derivations
12:00 12:15 Short break
12:15 12:45 Matteo Acclavio and Lutz Straßburger
On Proof Equivalence for Modal Logics
Stefano Bonzio and Andrea Loi
Embeddings of metric Boolean algebras in R^N
12:45 13:15 Tomoaki Kawano
Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics
13:15 13:30 Closure

Local info

Travel information

Paestum is located about 50 km south of Salerno.
By plane: The closest airport is in Naples. Once at the airport you need to get a ticket for the Alibus, a fast bus that goes to Napoli Centrale, Naples’s main train station.
By train: There are hourly trains to Paestum from Naples' and Salerno's train stations. The timetable can be found on the Trenitalia website. You need to get off at the train stations “Capaccio Roccadaspide” or “Paestum” where you can take bus n. 34 (direction “Vinciprova”), that will take you close to the conference venue. Information on buses can be found here.

Accommodation

We suggest using Booking.com or Airbnb to find an accommodation close to the conference venue, Hotel Tafuri.

Conference venue and registrations

The conference venue is Hotel Tafuri (map).

Registrations will be open on 04/09 from 17:00 to 19:30 and on 05/09 from 8:30 to 9:30 at Hotel Tafuri.
Close to the venue there are many restaurants and cafes. A 15 minute walk will take you to the beach, where we suggest having lunch at Lido Rosmarino or other beach establishments.

Welcome party

The welcome party will be held at Rosmarino (map) on 04/09 at 19:30.

Social dinner

The social dinner will be held at Hotel Royal Paestum (map) on 09/09 at 19:30.

Contributed Talks

Contributed talks LATD

Authors Title Abstract Slides
Tommaso Moraschini On equational completeness theorems PDF PDF
Umberto Rivieccio Nelson conuclei and nuclei: the twist construction beyond involutivity PDF PDF
Giuseppe Greco, Krishna Manoorkar, Apostolos Tzimoulis, Sabine Frittella and Daniil Kozhemiachenko Probability via Lukasiewicz logic - A multi-type semantic and proof theoretical account PDF PDF
Paolo Aglianò and Sara Ugolini Strictly join irreducible varieties of residuated lattices PDF PDF
Joan Gispert, Zuzana Haniková, Tommaso Moraschini and Michal Stronkowski Structural completeness and lattice of extensions in many-valued logics with rational constants PDF PDF
Petr Cintula and Carles Noguera The general algebraic framework for Mathematical Fuzzy Logic PDF PDF
Damiano Fornasiere and Tommaso Moraschini Intuitionistic Sahlqvist correspondence for deductive systems PDF PDF
Adam Přenosil Logics of upsets of De Morgan lattices PDF PDF
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot and Tommaso Moraschini Positive (Modal) Logic Beyond Distributivity PDF PDF
Tomoaki Kawano Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics PDF PDF
Matthias Baaz, Christian Fermüller and Norbert Preining Cut-Elimination for a Hypersequent Calculus for First-order Gödel Logic over [0,1] with Delta PDF PDF
María Paula Menchón and Ricardo Oscar Rodriguez Modal Nelson lattices and their associated twist structures PDF PDF
Stefano Bonzio and Andrea Loi Embeddings of metric Boolean algebras in R^N PDF PDF
Amanda Vidal Wandelmer Local Modal Product Logic is decidable PDF PDF
Guram Bezhanishvili, Nick Bezhanishvili and Tommaso Moraschini Degrees of the finite model property: The antidichotomy theorem PDF PDF
Marta Bilkova, Petr Cintula and Carles Noguera Towards a non-integral variant of Łukasiewicz logic PDF PDF
Antonio Piccolomini d'Aragona Quantificational issues in Prawitzian validity PDF PDF
Davide Catta, Matteo Acclavio and Lutz Straßburger Game semantics for constructive modal logic PDF PDF
Giuliano Rosella and Sara Ugolini Algebras of Counterfactual Conditionals PDF PDF
Nick Bezhanishvili, Miguel Martins and Tommaso Moraschini Bi-intermediate Logics of Trees and Co-trees PDF PDF
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra Polyhedral Completeness of Intermediate and Modal Logics PDF PDF
Jamie Wannenburg and Igor Sedlár One-sorted Program Algebras PDF PDF
Matteo Acclavio Logic Beyond Formulas: Designing Proof Systems on Graphs PDF PDF
Juan Pablo Aguilera, Martı́n Diéguez, David Fernández-Duque and Brett McLean Gödel temporal logic PDF PDF
Anton Chernev Degrees of FMP in extensions of bi-intuitionistic logic PDF PDF
Raoul Koudijs and Balder ten Cate Finite Characterisations of Modal Formulas PDF PDF
Valeria Giustarini From implicative reducts to Mundici’s functor PDF PDF
Davide Fazio and Gavin St. John Connexive implication in substructural logics PDF PDF

Contributed talks Mosaic Kick Off

Authors Title Abstract Slides
Elaine Pimentel, Stepan Kuznetsov, Andre Scedrov, Eben Blaisdell and Max Kanovich Some Proof-theoretical aspects of non-associative, non-commutative multi-modal linear logic PDF PDF
Michal Botur and Tomasz Kowalski Kites and pseudo MV-algebras PDF PDF
Matteo Acclavio and Lutz Straßburger On Proof Equivalence for Modal Logics PDF PDF
Petr Cintula, George Metcalfe and Naomi Tokuda One-Variable Lattice-Valued Logics PDF PDF
Timo Lang, Carlos Olarte and Elaine Pimentel What is the cost of cut? PDF PDF
Giuliano Rosella, Tommaso Flaminio and Stefano Bonzio Modal Algebraic Models of Counterfactuals PDF PDF
Bruno Xavier, Carlos Olarte and Elaine Pimentel A focused linear nested system for multi-modalities PDF PDF
Umberto Rivieccio Intutionistic modal algebras and twist representations PDF PDF
Paolo Baldi and Hykel Hosni Logical Approximations of Qualitative Probability PDF PDF
Nicholas Ferenz Quantified Relevant logic RQ with Constant Domains!? A Perspective from Quantified Modal Logics PDF PDF
Hans van Ditmarsch, Krisztina Fruzsa and Roman Kuznets Framing Faultiness Kripke Style PDF PDF
Darline Laure Keubeng Yemene, Lele Celestin, Stefan Schmidt and Tallee Kakeu Ariane Gabriel Some properties of residuated lattices using two parameters derivations PDF PDF
Shimpei Endo Truthmaker Semantics for Degreeism of Vagueness PDF PDF
Igor Sedlar and Pietro Vigiani Relevant Reasoners in a Classical World PDF PDF
Gabriel Savoy, Patricio Diaz Varela and Diego Castaño Strong standard completeness for S5-modal Lukasiewicz logics PDF PDF
Alexander Kurz, Bruno Teheux and Wolfgang Poiger Many-valued coalgebraic logic with a semi-primal algebra of truth-degrees PDF PDF
Rafal Gruszczynski and Paula Menchon From contact relations to modal operators, and back PDF PDF
Raheleh Jalali Weak Systems Have Intractable Theorems PDF PDF
Thomas Studer and Lukas Zenger Proof Theory for Intuitionistic Temporal Logic over Topological Dynamics PDF
Noemi Lubomirsky and José Patricio Díaz Varela Free algebras in all subvarieties of the variety generated by the MG t-norm PDF PDF
James Carr, Nick Bezhanishvili and Tommaso Moraschini Hereditary Structural Completeness over K4 PDF PDF
Marianna Girlando, Ekaterina Kubyshkina and Mattia Petrolo A proof-theoretic approach to ignorance PDF PDF
Petr Cintula and Carles Noguera Axiomatization of Logics with Two-Layered Modal Syntax: The Protoalgebraic Case PDF PDF
Søren Brinck Knudstorp Modal Information Logic: Decidability and Completeness PDF PDF
Damiano Fornasiere and Tommaso Moraschini Sahlqvist theory for fragments of Intuitionistic Logic PDF PDF
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer and Sajad Nazari Reasoning with probabilities and belief functions over Belnap–Dunn logic PDF PDF
Giuseppe Greco, Apostolos Tzimoulis, Michael Moortgat and Mattia Panettiere Multi-type modal extensions of the Lambek calculus for structural control PDF PDF

Fellowships

A number of rooms will be available in the conference hotel free of charge, for interested participants with limited funds.

In order to apply please send a 1-page letter of motivation explaining your reasons to apply for the support and why participating is important to you.

The letter must be submitted by 15 June 2022 to latd.mosaic@gmail.com.