Vol. 26 No. 4 (2017): December

View Vol. 26 No. 4 (2017): December
Table of contents
Vol. 26 No. 4 (2017): December
Sunday, Nov 19, 2017
This issue table of contents
Articles
Vagueness and Formal Fuzzy Logic: Some Criticisms
Giangiacomo Gerla
431-460
PDF
Tautology Elimination, Cut Elimination, and S5
Andrzej Indrzejczak
461-471
PDF
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Ivo Pezlar
473-508
PDF
The Logical Burdens of Proof. Assertion and Hypothesis
Daniele Chiffi, Fabien Schang
509-530
PDF
The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids
Grzegorz Sitek
531-562
PDF
Further Reflections on Sentences Saying of Themselves Strange Things
Elia Zardini
563-581
PDF
Acknowledgments
Acknowledgments
583-584
PDF
Table of Contents
Contents of Volume 26
585-586
PDF