1 - 34 - | The Finite and the Infinite On Hilbert's Formalist Approach before and after Gödel's Incompleteness Theorems SCHIRN, Matthias | abstract details ![]() |
35 - 53 - | An Objectivist Rejoinder to MacFarlane's Relativism about Truth WEISS, Bernhard | abstract details ![]() |
55 - 71 - | Transparent Truth-Value Predicates in Multi-Valued Logics FRANCEZ, Nissim, KAMINSKI, Michael | abstract details ![]() |
73 - 114 - | A Graphical Deep Inference System for Intuitionistic Logic MINGHUI, Ma, PIETARINEN, Ahti-Veikko | abstract details ![]() |