Finite Models of Some Substructural Logics

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-E" /><63::AID-MALQ63>3.0.CO;2-E 10.1002/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-EzbMath0992.03029OpenAlexW2024895805MaRDI QIDQ2776810

Wojciech Buszkowski

Publication date: 6 March 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<63::aid-malq63>3.0.co;2-e

zbMATH Keywords

Lambek calculussubstructural logicsfinite model propertyBCI logicBCK logicfragments of linear logicCyclic MALL

Mathematics Subject Classification ID

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

Related Items (6)

Natural language semantics in biproduct dagger categories ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Variations on a theme of Curry ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ On finite models of the Lambek calculus

Cites Work

• Quantales and (noncommutative) linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• The finite model property for various fragments of linear logic

This page was built for publication: Finite Models of Some Substructural Logics