Tom 26 Nr 4 (2017): December

Pokaż Tom 26 Nr 4 (2017): December

Tom 26 Nr 4 (2017): December

Sunday, Nov 19, 2017

Spis treści tego numeru

Artykuły

Vagueness and Formal Fuzzy Logic: Some Criticisms

Giangiacomo Gerla

431-460

PDF (English)

Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

PDF (English)

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

Ivo Pezlar

473-508

PDF (English)

The Logical Burdens of Proof. Assertion and Hypothesis

Daniele Chiffi, Fabien Schang

509-530

PDF (English)

The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids

Grzegorz Sitek

531-562

PDF (English)

Further Reflections on Sentences Saying of Themselves Strange Things

Elia Zardini

563-581

PDF (English)

Podziękowania

Acknowledgments

583-584

PDF (English)

Spis treści tomu

Contents of Volume 26

585-586

PDF (English)