Relational semantics for the Lambek-Grishin calculus | 11 | 0.86 | 2009 |
Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds. | 1 | 0.65 | 2000 |
Embedding and Interpolation for some Paralogics. The Propositional Case | 19 | 2.37 | 1999 |
Expressiveness of concept expressions in first-order description logics | 24 | 1.66 | 1999 |
An LTAG Perspective on Categorial Inference | 0 | 0.34 | 1998 |
Partial Proof Trees and Structural Modalities | 0 | 0.34 | 1998 |
Categorial Inference and Modal Logic | 3 | 0.49 | 1998 |
Classifying Description Logics | 5 | 0.72 | 1997 |
Bisimulations for Temporal Logic | 11 | 1.54 | 1997 |
Simulating Without Negation | 16 | 3.90 | 1997 |
Talking about Explicit Databases in Categorial Grammar | 0 | 0.34 | 1995 |