Lambek calculus with conjugates

DOI10.1007/S11225-020-09913-2MaRDI QIDQ2046872zbMATH OpenOpenAlexFDO

Authors Igor Sedlár, Andrew Tedder

Publication date 19 August 2021

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-020-09913-2

zbMATH Keywords

conjugatesLambek calculusmodal logicRoutley-Meyer semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Correction to: ``Lambek calculus with conjugates
• Extensions of Lambek calculi
• Complexity of the Lambek calculus and its fragments
• scientific article; zbMATH DE number 68516
• Involutive nonassociative Lambek calculus: sequent systems and complexity

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar
• Boolean Algebras with Operators. Part I
• Categorial grammars with negative information
• Combinators and structurally free logic
• Combinatory logic. Pure, applied and typed
• Completeness Results for Lambek Syntactic Calculus
• Concerning the Axioms of Ackermann's Set Theory
• Derivatives of Regular Expressions
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1047507 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Language in action
• Modal logic
• Models for entailment
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• On the ternary relation and conditionality
• Positive modal logic
• Quotients of Context-Free Languages
• Relation algebras
• Relation algebras as residuated Boolean algebras
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantics for relevant logics
• Simplified semantics for basic relevant logics
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• The semantics of entailment. II
• The undecidability of entailment and relevant implication

Cited in

(2)

• Correction to: ``Lambek calculus with conjugates
• Lacroix and the calculus

This page was built for publication: Lambek calculus with conjugates

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