research
∙
06/08/2023
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a su...
share
research
∙
01/05/2023
Proof-theoretic Semantics and Tactical Proof
The use of logical systems for problem-solving may be as diverse as in p...
research
∙
01/05/2023
Defining Logical Systems via Algebraic Constraints on Proofs
We provide a comprehensive presentation of a program of uniform decompos...
research
∙
10/11/2022
Semantical Analysis of the Logic of Bunched Implications
We give a novel approach to proving soundness and completeness for a log...
research
∙
10/11/2022
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
There are two major approaches to proof-theoretic semantics: proof-theor...
research
∙
10/11/2022