Categorial Inference and Modal Logic
Journal of Logic, Language and Information
Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
Frege, Contextuality and Compositionality
Journal of Logic, Language and Information
On Limit Points for Some Variants of Rigid Lambek Grammars
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
On Mixing Deduction and Substitution in Lambek Categorial Grammars
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Pregroups: Models and Grammars
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
A Hybrid Logic Formalization of Information Structure Sensitive Discourse Interpretation
TSD '01 Proceedings of the 4th International Conference on Text, Speech and Dialogue
Programming methodology
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
The Liar, Context and Logical Form
Journal of Logic, Language and Information
Rigid Lambek grammars are not learnable from strings
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
k-valued non-associative Lambek categorial grammars are not learnable from strings
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Computational Linguistics
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Enhancing Automatic Construction of Gene Subnetworks by Integrating Multiple Sources of Information
Journal of Signal Processing Systems
About Application and Implementation of Semantic Meta Parsing
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Layer structures and conceptual hierarchies in semantic representations for NLP
CICLing'08 Proceedings of the 9th international conference on Computational linguistics and intelligent text processing
Dynamic interpretations and interpretation structures
JSAI'03/JSAI04 Proceedings of the 2003 and 2004 international conference on New frontiers in artificial intelligence
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
k-valued non-associative lambek grammars (without product) form a strict hierarchy of languages
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
On the complexity of the equational theory of relational action algebras
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Generating and retrieving text segments for focused access to scientific documents
ECIR'06 Proceedings of the 28th European conference on Advances in Information Retrieval
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Hi-index | 0.00 |
From the Publisher:The combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Syntax, and the subsequent diversification of research programs. The Handbook of Logic and Language is the first comprehensive survey of the field. The twenty chapters show both sides of the interaction between logic and language: how logical systems are designed and modified in response to linguistic needs, and how mathematical theory arises out of this process and affects subsequent linguistic theory. Contributors: N. Asher, D. Beaver, W. Buszkowski, D. de Jongh, J. E. Fenstad, J. Groenendijk, H. Hendriks, J. Higginbotham, J. Hintikka, T. M. V. Janssen, H. Kamp, E. J. Keenan, J. T. Lønning, E. Martin, M. J. Moortgat, L. S. Moss, R. Muskens, D. Osherson, B. H. Partee, F. J. Pelletier, W. C. Rounds, G. Sandu, J. Seligman, M. Steedman, M. Stokhof, R. H. Thomason, R. Turner, J. van Benthem, J. van Eijck, A. Visser, D. Westerståhl