The Schedule



 

UCL Day 1 (All times are UTC)

02/03/2023

13:50 - 14:00

Kickoff

14:00 - 15:00

Non-harmonious logics and ecumenical logics: what do we they teach us about the meaning of connectives? (slides)

Gilles Dowek

15:00 - 16:00

The coreflection principle – of great value in intuitionistic modal logic (slides)

Iris van der Giessen

Break 16:00 - 16:30

16:30 - 17:30

Combining Intuitionistic and Classical Logic: a proof system and semantics (slides)

Dale Miller

UCL Day 2 (All times are UTC)

03/03/2023

09:00 - 10:00

An ecumenical logic for the interoperability of proof systems (slides)

Émilie Grienenberger

Break 10:00 - 10:30

10:30 - 11:30

Defining Logical Systems via Algebraic Constraints on Proofs (slides)

Alexander Gheorghiu

11:30 - 12:30

E Pluribus Unum - Or: How to Harmonize Involutive and Constructive Negations 

Mattia Petrolo

Lunch 12:30 - 14:00

14:00 - 15:00

An ecumenical view of infinitary logic (slides)

Matteo Tassi

15:00 - 16:00

Ecumenism and Linear Logic's Exponentials:  dissymmetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)

Jean-Baptiste Joinet

CLMPST (All times are GMT-3)

26/07/2023

09:00 - 09:30

Classical versus Intuitionistic Proof: Ecumenical Proof-theoretic Semantics (slides)

Victor Nascimento

09:30 - 10:00

Translations and Prawitz Ecumenical system (slides)

Luiz Carlos Pereira

10:00 - 10:30

Ecumenical Types (slides)

Elaine Pimentel

10:30 - 11:00

Algebraic Semantics for modal contructive logic with strong negation (slides)

Ricardo Rodriguez

Break 11:00 - 14:30

14:30 - 15:00

Ideal and saturated paraconsistent logics arising from Godel logics expanded with an involutive negation (slides)

Marcelo Coniglio

15:00 - 15:30

Intuitionistic modal algebras (slides)

Umberto Rivieccio

15:30 - 16:00

Ecumenism and Linear Logic's Exponentials: dissymetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)

Jean-Baptiste Joinet

16:00 - 16:30

A decision procedure for intuitionistic and ecumenical logic based on restricted non-deterministic matrices

Renato Leme