Geodesic

Volume 48 (2019) no. 2

Sommaire

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