Sequent Systems for Consequence Relations of Cyclic Linear Logics
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger framework. Modifying MALL, researchers have explored w...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Lodz University Press
2024-04-01
|
| Col·lecció: | Bulletin of the Section of Logic |
| Matèries: | |
| Accés en línia: | https://czasopisma.uni.lodz.pl/bulletin/article/view/20419 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|