scientific article; zbMATH DE number 1989651

MaRDI QIDQ4430398zbMATH OpenFDO

Authors Marcelo Finger

Publication date 9 October 2003

zbMATH Keywords

algorithmic methodcategorial correspondence theorypossible worlds semanticssequent over ternary framesSLaKE-tableau

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Categorial inference and modal logic
• Theorem provers for substructural logics
• Algorithmic correspondence and canonicity for non-distributive logics
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• The logic of categorial grammars. A deductive account of natural language syntax and semantics

Cited in

(3)

• Categorial inference and modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Algorithmic correspondence and canonicity for possibility semantics

This page was built for publication:

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