This document is unfortunately not available for download at the moment.
Juan Redmond , Olga Pombo Martins , Ángel Nepomuceno Fernández (2016) Epistemology, knowledge and the impact of interaction, Dordrecht, Springer.
Atomic systems in proof-theoretic semantics
two approaches
Thomas Piecha , Peter Schroeder-Heister
pp. 47-62