Logique et Analyse
Volume 245
2019


1 - 34 - 
The Finite and the Infinite
On Hilbert's Formalist Approach before and after Gödel's Incompleteness Theorems
SCHIRN, Matthias

abstract details download pdf

35 - 53 - 
An Objectivist Rejoinder to MacFarlane's Relativism about Truth
WEISS, Bernhard

abstract details download pdf

55 - 71 - 
Transparent Truth-Value Predicates in Multi-Valued Logics
FRANCEZ, Nissim, KAMINSKI, Michael

abstract details download pdf

73 - 114 - 
A Graphical Deep Inference System for Intuitionistic Logic
MINGHUI, Ma, PIETARINEN, Ahti-Veikko

abstract details download pdf