Journal of 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 Intentional 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.

【译文】该期刊的范围包括自然语言、形式语言和编程语言的逻辑和计算基础，以及不同形式的人类和机械化推理。它涵盖了认知科学中的逻辑、语言和信息论部分。主要子领域包括意向逻辑，包括动态逻辑；非单调逻辑和信念修正；构造逻辑；逻辑和语言学中的复杂性问题；逻辑编程和解析的理论问题；范畴语法和类型理论；广义量化；以情境语义学、话语表示理论和动态语义学为代表的信息导向语义结构理论；以及逻辑和语言结构的连接主义模型。重点在于这些领域的理论方面。