A semantical view of proof systems
From MaRDI portal
Publication:1799270
DOI10.1007/978-3-662-57669-4_3OpenAlexW2810993231MaRDI QIDQ1799270
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_3
Related Items (4)
A linear logic framework for multimodal logics ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ An ecumenical notion of entailment ⋮ A fresh view of linear logic as a logical framework
This page was built for publication: A semantical view of proof systems
