Yll Buzoku
YOU?
Author Swipe
View article: Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract)
Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract) Open
The proof theory and semantics of intuitionistic modal logics have been studied by Simpson in terms of Prawitz-style labelled natural deduction systems and Kripke models. An alternative to model-theoretic semantics is provided by proof-the…
View article: Base-extension Semantics for Intuitionistic Modal Logics
Base-extension Semantics for Intuitionistic Modal Logics Open
The proof theory and semantics of intuitionistic modal logics have been studied by Simpson in terms of Prawitz-style labelled natural deduction systems and Kripke models. An alternative to model-theoretic semantics is provided by proof-the…
View article: A Proof-theoretic Semantics for Intuitionistic Linear Logic
A Proof-theoretic Semantics for Intuitionistic Linear Logic Open
The approach taken by Gheorghiu, Gu and Pym in their paper on giving a Base-extension Semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the work of Sandqvist for IPL to the substructural setting. What…