| 133 - 155 - | Predication and Computable Concepts FREUND, Max A. | abstract details  download (open access) |
| 157 - 171 - | Nature et logique de G. Gentzen à J.-Y. Girard JOINET, Jean-Baptiste | abstract details download (open access) |
| 173 - 205 - | Splitting and Relevance Broadening the Scope of Parikh's Concepts VAN DE PUTTE, Frederik | abstract details download (open access) |
| 207 - 226 - | Arithmetic with Fusions KETLAND, Jeffrey, SCHINDLER, Thomas | abstract details download (open access) |
| 227 - 263 - | Formal Philosophy and Legal Reasoning The Validity of Legal Inferences PETERSON, Clayton, MARQUIS, Jean-Pierre | abstract details download (open access) |
