Modal logic as metalogic

DOI10.1007/BF00156914zbMath0793.03011MaRDI QIDQ1314285

Kosta Došen

Publication date: 21 August 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicLambek calculusdeduction theoremsubstructural logicsderived rulesdeductive metalogicfunctional completeness in categories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Meeting strength in substructural logics ⋮ Structuring metatheory on inductive definitions

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Sequent-systems and groupoid models. I
• Modal translations in substructural logics
• The Mathematics of Sentence Structure
• Logics without the contraction rule
• Sequent-systems for modal logic

This page was built for publication: Modal logic as metalogic