SSLPS Annual Meeting 2022

Ordered Algebras and Logic

30 March - 2 April 2022  •  Les Diablerets, Switzerland

Aims & Scope

Ordered algebraic structures have long played a fundamental role in logic, both as fruitful objects of study in model theory, and as algebraic semantics for non-classical logics arising in mathematics, computer science, linguistics, and philosophy. The aim of the workshop "Ordered Algebras and Logic" is to bring together distinguished experts on ordered algebraic structures and non-classical logics with the purpose of developing connections and promoting further investigation into the interactions between the two areas. The workshop will serve also as the 2022 Annual Meeting of the Swiss Society for Logic and Philosophy of Sciences (SSLPS), sponsored by the Swiss Academy of Sciences (SCNAT).

Venue

The workshop will take place at Hotel Les Sources , Les Diablerets , Switzerland.

The nearest airport is Geneva, but there are also good train connections from Basel, Zurich and Bern. The connections either go via Aigles, where you have to take the bus to Le Sépey and then take the train to Les Diablerets, or via Gstaad, where you can take the bus to Les Dieblerets without any changes.

To reach Hotel Les Sources from the train station, take the road and then the path following the river upwards. Cross the river via the Rte du Col de la Croix, where the bus stops (if you go via Gstaad). Follow the river up some more after passing the large Hotel Victoria building, Hotel Les Sources is on your right.

The walk should take about 10 minutes from the train station and 4 minutes from the bus stop.

Participants

  • Luca Carai (Università di Salerno, Italy)
  • Line van den Berg (University of Bern, Switzerland)
  • Jacques Duparc (University of Lausanne, Switzerland)
  • Federico Faroldi (University of Bern, Switzerland)
  • Nikolaos Galatos (University of Denver, USA)
  • Sam van Gool (Université de Paris, France)
  • Maria João Gouveia (Universidade de Lisboa, Portugal)
  • Serafina Lapenta (Università di Salerno, Italy)
  • Jieting Luo (University of Bern, Switzerland)
  • George Metcalfe (University of Bern, Switzerland)
  • Beatrice Pitton (University of Lausanne, Switzerland)
  • Adam Prenosil (University of Cagliari, Italy)
  • Luigi Santocanale (Aix-Marseille University, France)
  • Simon Santschi (University of Bern, Switzerland)
  • Luca Spada (Università di Salerno, Italy)
  • Gavin St. John (University of Cagliari, Italy)
  • Melissa Sugimoto (Leiden University, Netherlands)
  • Sara Ugolini (IIIA – CSIC Bellaterra, Spain)
  • Thomas Vetterlein (Johannes Kepler University, Austria)
  • Jamie Wannenburg (Czech Academy of Sciences, Czech Republic)
  • Fred Wehrung (Université de Caen, France)
  • Lukas Zenger (University of Bern, Switzerland)

Programme

Wednesday, 30 March 2022
19.15 Dinner
Thursday, 31 March 2022
07.30-08.55 Breakfast
08.55-09.00 Opening
09.00-09.40 Sara Ugolini Unification and admissibility in varieties of hoops
09.40-10.20 Luca Spada The unification type of fragments of Łukasiewicz logic with finitely many variables
10.20-10.50 Coffee
10.50-11.30 Melissa Sugimoto Characterization of Involutive Partially-Ordered Semilattices
11.30-12.10 Nick Galatos The structure of idempotent residuated chains
12.15 Lunch*
13.30 SSLPS Board Meeting
17.00-17.30 Coffee
17.40-18.20 Sam van Gool Preserving joins at primes: a connection between automata, logic and domains
18.20-19.00 Maria João Gouveia Reconstruction of permutations of rank n from multisets of (n-1)-patterns
19.15 Dinner
Friday, 1. April 2022
07.30-09.00 Breakfast
09.00-09.40 Thomas Vetterlein Orthogeometries versus linear orthosets
09.40-10.20 Gavin St. John Residuated ortholattices and associativity in quantum logic
10.20-10.50 Coffee
10.50-11.30 Jamie Wannenberg Epimorphisms in Varieties of De Morgan Monoids
11.30-12.10 George Metcalfe Lifting algebraic properties from finitely subdirectly irreducibles
12.15 Lunch*
17.00-17.30 Coffee
17.40-18.20 Luigi Santocanale Unitless Frobenius quantales
18.20-19.00 Serafina Lapenta Baire functions, infinitary logic and subjective probability
19.15 Dinner
Saturday, 2. April 2022
07.30-09.00 Breakfast
09.30-10.10 Luca Carai Dualities for abelian l-groups and vector lattices beyond archimedeanity
10.10-10.40 Coffee
10.40-11.20 Adam Prenosil From residuated lattices to l-groups via free nuclear preimages
11.20-12.00 Friedrich Wehrung Projective classes as images of accessible functors
12.15 Lunch*
*Or a packed lunch may be ordered before 9am on the same day.

Organizing Committee

Contact

  • George Metcalfe

    Mathematical Institute, University of Bern
    Sidlerstrasse 5, CH-3012 Bern, Switzerland
    E-mail: george.metcalfe@unibe.ch