International Center for Transitional Justice

researchers with a paper here

P. Gonin--Joubert3 · h 1
C. Faverjon2 · h 5
Moreno Invitti2 · h 0
A. Etxebeste1 · h 15
Alexandre Delétang1 · h 0
Arnaud Chaumot1 · h 3
B. Adamczewski1 · h 23
B. Degasperi1 · h 0
C. Burtea1 · h 9
C. Helbert1 · h 3
Cnrs1 · h 5
Di Wang1 · h 4

collaborating institutions

Institut Camille JordanFR8 papers
Laboratoire Amiénois de Mathématique Fondamentale et AppliquéeFR2 papers
Université de Picardie Jules VerneFR2 papers
Analyse, Géométrie et ModélisationFR1 paper
Centre de Recherche en Acquisition et Traitement de l'Image pour la SantéFR1 paper
Centre Hospitalier Saint-DenisFR1 paper
Centre National de la Recherche ScientifiqueFR1 paper
École Centrale de LyonFR1 paper
Fonctionnement des hydrosystèmesFR1 paper
Guangzhou Automobile Group (China)CN1 paper
Huaihua UniversityCN1 paper
Laboratoire de Mathématiques Blaise PascalFR1 paper

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Cut-free Deductive System for Continuous Intuitionistic Logic

Guillaume Geoffroy

We introduce and develop propositional continuous intuitionistic logic and propositional continuous affine logic via complete algebraic semantics. Our approach centres on AC-algebr…