The Schedule

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

Gilles Dowek

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

Iris van der Giessen

Break 16:00 - 16:30

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

Dale Miller

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

Émilie Grienenberger

Break 10:00 - 10:30

Defining Logical Systems via Algebraic Constraints on Proofs (slides)

Alexander Gheorghiu

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

Mattia Petrolo

Lunch 12:30 - 14:00

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

Jean-Baptiste Joinet

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

Victor Nascimento

Translations and Prawitz Ecumenical system (slides)

Luiz Carlos Pereira

Ecumenical Types (slides)

Elaine Pimentel

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

Ricardo Rodriguez

Break 11:00 - 14:30

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

Marcelo Coniglio

Intuitionistic modal algebras (slides)

Umberto Rivieccio

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

Jean-Baptiste Joinet

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

Renato Leme