Atomic systems in proof-theoretic semantics

two approaches

2016

Thomas Piecha, Peter Schroeder-Heister

in: Epistemology, knowledge and the impact of interaction, Berlin,

A critical remark on the BHK interpretation of implication

2014

Wagner de Campos Sanz, Thomas Piecha

Philosophia Scientiae 18 (3)