Lambek calculus with conjugates
From MaRDI portal
Publication:2046872
DOI10.1007/s11225-020-09913-2OpenAlexW3045831303MaRDI QIDQ2046872
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the ternary relation and conditionality
- Relational semantics of the Lambek calculus extended with classical propositional logic
- Relation algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Language in action
- Simplified semantics for basic relevant logics
- Models for entailment
- The semantics of entailment. II
- Relation algebras as residuated Boolean algebras
- The Lambek calculus enriched with additional connectives
- Positive modal logic
- The Mathematics of Sentence Structure
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- Concerning the Axioms of Ackermann's Set Theory
- The undecidability of entailment and relevant implication
- Completeness Results for Lambek Syntactic Calculus
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Combinators and structurally free logic
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
- A Note on Negation in Categorial Grammar
- Quotients of Context-Free Languages
- Derivatives of Regular Expressions
- Semantics for relevant logics
- Boolean Algebras with Operators. Part I
This page was built for publication: Lambek calculus with conjugates