Vol. 28 No. 2 (2019): June

Table of contents

Articles

On Three Axiom Systems for Classical Mereology

Achille C. Varzi

203-207

PDF
Remarks on Stable Formulas in Intuitionistic Logic

Majid Alizadeh, Ali Bibak

209-222

PDF
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

Yaroslav Petrukhin, Vasilyi Shangin

223–257

PDF
Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

Marcin Tkaczyk, Tomasz Jarmużek

259-276

PDF
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

Damian E. Szmuc

277-330

PDF
A “Distributive” or a “Collective” Approach to Sentences?

Piotr Łukowski

331-354

PDF
A Brief Note on Béziau’s “Rather Trivial Theorem” About LP

Luis Estrada-González

355-361

PDF

Book Reviews

Are backwards-infinite causal sequences possible?

Haidar Al-Dhalimy

363-367

PDF