Meeting strength in substructural logics

DOI10.1007/BF01058530MaRDI QIDQ1344870zbMATH OpenOpenAlexFDO

Authors 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

cut- eliminationGentzen-style proof theoryhybrid substructural logicssemantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 823607
• Normal modal substructural logics with strong negation
• scientific article; zbMATH DE number 591901
• Substructural logics: a primer
• scientific article; zbMATH DE number 1543335

Cites work

• Completeness Results for Lambek Syntactic Calculus
• scientific article; zbMATH DE number 3972838 (Why is no real title available?)
• scientific article; zbMATH DE number 3179944 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• Language in action
• Linear logic
• Modal logic as metalogic
• Modal translations in substructural logics
• Quantales and (noncommutative) linear logic
• Sequent-systems and groupoid models. I
• The Lambek calculus enriched with additional connectives
• The logic of information structures

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344870)