Vol. 23 No. 4 (2014): December

Table of contents

Articles

A simple Henkin-style completeness proof for Gödel 3-valued logic G3

Gemma Robles

371-390

PDF
Computability and human symbolic output

Jason Megill, Tim Melvin

391-401

PDF
The logic of causal propositions

Stanisław Kiczuk

403-448

PDF
Pragmatic and dialogic interpretations of bi-intuitionism. Part I

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

449-480

PDF
Three-element non-finitely axiomatizable matrices and term-equivalence

Katarzyna Pałasińska

481-497

PDF

Book Reviews

Graham Priest, “One: Being an Investigation into the Unity of Reality and of its Parts, including the Singular Object which is Nothingness”, Oxford University Press, 2014

Filippo Casati, Naoya Fujikawa

499-508

PDF

Acknowledgments

Acknowledgments

509-510

PDF

Table of Contents

Contents of Volume 23

511-512

PDF