The following pages link to Language in action (Q1177646):
Displaying 29 items.
- Inclusion and exclusion in natural language (Q692198) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Multi-adjoint algebras versus non-commutative residuated structures (Q900276) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Dynamic squares (Q1902558) (← links)
- Editor's introduction to the special issue on belief revision (Q1903575) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Grammar induction by unification of type-logical lexicons (Q1959226) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- On contextual domain restriction in categorial grammar (Q2441762) (← links)
- Interpolation, preservation, and pebble games (Q4262591) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- European summer meeting of the Association for Symbolic Logic (Q4276039) (← links)
- Product-free Lambek calculus and context-free grammars (Q4358060) (← links)
- Learnability of type-logical grammars (Q4923558) (← links)
- (Q5028481) (← links)
- (Q5087782) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
- Commutative Lambek grammars (Q6190089) (← links)
