Journal of Logic, Language and Information
J Logic Lang Inform
Published/Hosted by Springer.
ISSN (printed): 0925-8531. ISSN (electronic): 1572-9583.
This is the official publication of the European Association for Logic Language and Information. The scope of the journal is the logical and computational foundations of natural formal and programming languages as well as the different forms of human and mechanized inference. It covers the logical linguistic and information-theoretic parts of the cognitive sciences. Examples of main subareas are Intensional Logics including Dynamic Logic; Nonmonotonic Logic and Belief Revision; Constructive Logics; Complexity Issues in Logic and Linguistics; Theoretical Problems of Logic Programming and Resolution; Categorial Grammar and Type Theory; Generalized Quantification; Information-Oriented Theories of Semantic Structure like Situation Semantics Discourse Representation Theory and Dynamic Semantics; Connectionist Models of Logical and Linguistic Structures. The emphasis is on the theoretical aspects of these areas. The purpose of the journal is to act as a forum for researchers interested in the theoretical foundations of the above subjects and their interdisciplinary connections with an emphasis on general ideas increasing coherence.
- Further information
- Category Links