Sommaire

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
The Method of Socratic Proofs Meets Correspondence Analysis
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
Semi-Heyting Algebras and Identities of Associative Type