Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Attributed to:
A coalgebraic framework for reductive logic and proof-search (ReLiC)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-43513-3_20
Publication URI: http://dx.doi.org/10.1007/978-3-031-43513-3_20
Type: Book Chapter
Book Title: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings (2023)
Page Reference: 367-385