中文簡(jiǎn)介

《邏輯、語(yǔ)言和信息》雜志探討了自然、形式和編程語(yǔ)言的基礎(chǔ)，以及人類和機(jī)器推理的不同形式。它涵蓋了認(rèn)知科學(xué)的邏輯、語(yǔ)言和信息理論部分。其中主要的子領(lǐng)域是內(nèi)涵邏輯，包括動(dòng)態(tài)邏輯;非單調(diào)邏輯與信念修正建設(shè)性的邏輯;邏輯學(xué)和語(yǔ)言學(xué)中的復(fù)雜性問(wèn)題;邏輯規(guī)劃與求解的理論問(wèn)題范疇語(yǔ)法與類型理論廣義量化;情境語(yǔ)義、話語(yǔ)表征理論、動(dòng)態(tài)語(yǔ)義等語(yǔ)義結(jié)構(gòu)的信息化理論邏輯和語(yǔ)言結(jié)構(gòu)的連接主義模型。該雜志為對(duì)這些學(xué)科的理論基礎(chǔ)及其跨學(xué)科聯(lián)系感興趣的研究人員提供了一個(gè)論壇。這是邏輯、語(yǔ)言和信息協(xié)會(huì)的官方出版物。

投稿網(wǎng)址：https://www.editorialmanager.com/jlli/default.aspx

英文簡(jiǎn)介

The Journal of Logic, Language and Information explores the 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.Among the principal 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 journal offers a forum for researchers interested in the theoretical foundations of these subjects and their interdisciplinary connections.This is the official publication of the Association for Logic, Language, and Information.