Vol. 26 No. 4 (2017): December

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