Meeting strength in substructural logics

DOI10.1007/BF01058530zbMath0813.03036OpenAlexW122858738MaRDI QIDQ1344870

Yde Venema

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

zbMATH Keywords

semanticscut- eliminationGentzen-style proof theoryhybrid substructural logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Normal modal substructural logics with strong negation

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Meeting strength in substructural logics