Por Victor Nascimento (University College London).

Proof-theoretic semantics is an approach in which the concept of proof, and not of truth, is taken as the basic semantic notion. Different concepts of proof may lead to different proof-theoretic semantics. In particular, semantics for Linear Logic can be obtained by using concepts that take into account the expenditure of limited resources. There are at least two ways to do this: the Formulas-as-Resources approach, in which atomic formulas are interpreted as the main resources used in proofs, and the Inferences-as-Resources approach, in which atomic inferences are interpreted as such resources. In this talk I will present both approaches and comment on their differences and similarities.

Transmissão via Zoom (pw: 919 4789 5133).