collaborators

1 paper

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…