A natural axiom system for boolean algebras with applications

2016

R. E. Hodel

in: Modern logic 1850-1950, East and West, Basel,

Category theory and the search for universals

a very short guide for philosophers

2016

Alberto Peruzzi

in: Modern logic 1850-1950, East and West, Basel,

Constructive mathematics in St. Petersburg, Russia

a (somewhat subjective) view from within

2016

Vladik Kreinovich

in: Modern logic 1850-1950, East and West, Basel,

Introduction

2016

Francine F. Abeles, Mark E. Fuller

in: Modern logic 1850-1950, East and West, Basel,

Logic and argumentation in Belgium

the role of Leo Apostel

2016

Jean P. Van Bendegem

in: Modern logic 1850-1950, East and West, Basel,

Modern logic 1850-1950, East and West

2016

Francine F. Abeles, Mark E. Fuller (eds)

Basel, Birkhäuser

Naturalizing natural deduction

2016

David DeVidi, Herbert Korté

in: Modern logic 1850-1950, East and West, Basel,

On normalizing disjunctive intermediate logics

2016

Jonathan P. Seldin

in: Modern logic 1850-1950, East and West, Basel,

On the way to modern logic

the case of Polish logic

2016

Roman Murawski

in: Modern logic 1850-1950, East and West, Basel,

Paradox of analyticity and related issues

2016

Jan Woleński

in: Modern logic 1850-1950, East and West, Basel,

Preface and prospectus to a planned "history vs. philosophy of logic" text

2016

Irving H. Anellis

in: Modern logic 1850-1950, East and West, Basel,

Russian origins of non-classical logics

2016

Valentin A. Bazhanov

in: Modern logic 1850-1950, East and West, Basel,