Meeting strength in substructural logics
From MaRDI portal
Publication:1344870
DOI10.1007/BF01058530zbMath0813.03036MaRDI QIDQ1344870
Publication date: 22 February 1995
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01058530
03F05: Cut-elimination and normal-form theorems
Related Items
Normal modal substructural logics with strong negation, Non-normal modal logics and conditional logics: semantic analysis and proof theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Sequent-systems and groupoid models. I
- Language in action
- Modal translations in substructural logics
- The logic of information structures
- Modal logic as metalogic
- The Lambek calculus enriched with additional connectives
- Quantales and (noncommutative) linear logic
- Completeness Results for Lambek Syntactic Calculus