Tarski's recantation

reading the postscript to "Wahrheitsbegriff"

2016

Philippe de Rouilhan

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

The historical sources of tree graphs and the tree method in the work of Peirce and Gentzen

2016

Irving H. Anellis, Francine F. Abeles

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

A formal framework for hypersequent calculi and their fibring

2015

Marcelo Coniglio, Martin Figallo

in: The road to universal logic I, Basel,

A note on the internal logic of constructive mathematics

the gel"fond-schneider theorem in transcendental number theory

2015

Yvon Gauthier

in: The road to universal logic II, Basel,

A quantitative-informational approach to logical consequence

2015

Itala M. Loffredo D'Ottaviano

in: The road to universal logic II, Basel,

A roadmap to decidability

2015

João Rasga, Cristina Sernadas, Amílcar Sernadas

in: The road to universal logic I, Basel,

Aristotle on language and universal proof

2015

Jean-Louis Hudry

in: The road to universal logic I, Basel,

Arrow-hexagons

2015

Alessio Moretti

in: The road to universal logic II, Basel,

Being consistent about inconsistency

toward the rational fusing of inconsistent propositional logic bases

2015

Didier Dubois, Henri Prade

in: The road to universal logic II, Basel,

Belnap constants and Nelson logic

2015

Sergei P. Odintsov

in: The road to universal logic II, Basel,

Béziau on and and or

2015

Lloyd Humberstone

in: The road to universal logic I, Basel,

Béziau's contributions to the logical geometry of modalities and quantifiers

2015

Hans Smessaert, Lorenz Demey

in: The road to universal logic I, Basel,