A logic for affine continuous algebras

par Guillaume Geoffroy

lundi 20 oct. 2025, 10:30 → 11:25 Europe/Paris

Fokko du Cloux (ICJ)

At the intersection between continuous logic and intuitionistic logic lies intuitionistic continuous logic. As a branch of logic that remains to be fully developed, it embodies the prospect of a logical framework for the study of algebras arising in analysis (such as C*-algebras) from an intuitionistic, or even constructivist, standpoint. I will give an overview of my work, which has so far consisted in defining the outlines of this logic. Three main and interrelated axis emerge: 

What constitutes a logic, and in what sense can the subject of my work be regarded as one? 

In what sense can this logic be considered continuous? 

And in what sense can it be considered affine? 

The seminar will therefore focus on the study of “continuous affine” algebras and will culminate in addressing the first question.