research
∙
07/08/2023
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics
The origins of proof-theoretic semantics lie in the question of what con...
share
research
∙
07/03/2023
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
In this paper I will develop a lambda-term calculus, lambda-2Int, for a ...
research
∙
10/03/2022
Uniqueness of logical connectives in a bilateralist setting
In this paper I will show the problems that are encountered when dealing...
research
∙
09/23/2020