https://msclogic.illc.uva.nl/current-students/courses/projects/project/241/2nd-Semester-2024-25-Measuring-Meaning-Proof-Theoretic-Semantics-and-Substructurality
2nd Semester 2024/25: Measuring Meaning: Proof-Theoretic Semantics and Substructurality | Master of...
This project explores proof-theoretic semantics (P-tS). P-tS characterises the meaning of the logical connectives based on their use in reasoning. This use is...