邏輯學(xué)sci期刊有哪些

　　邏輯學(xué)是關(guān)于推理和論證的科學(xué)，它的主要任務(wù)是提供識別有效的推理、論證與無效的推理、論證的標(biāo)準(zhǔn)，并教會人們正確地進(jìn)行推理和論證，識別、揭露和反駁錯誤的推理和論證。那么邏輯學(xué)sci期刊有哪些呢?

　　《THEORY AND PRACTICE OF LOGIC PROGRAMMING》邏輯程序設(shè)計理論與實(shí)踐強(qiáng)調(diào)邏輯程序設(shè)計的理論與實(shí)踐。 邏輯程序設(shè)計適用于人工智能和計算機(jī)科學(xué)的所有領(lǐng)域，并且是它們的基礎(chǔ)。 涵蓋的主題包括使用邏輯編程的AI應(yīng)用程序，邏輯編程方法，系統(tǒng)的規(guī)范，分析和驗(yàn)證，歸納邏輯編程，多關(guān)系數(shù)據(jù)挖掘，自然語言處理，知識表示，非單調(diào)推理，語義Web推理， 數(shù)據(jù)庫，實(shí)現(xiàn)和體系結(jié)構(gòu)以及約束邏輯編程。

　　《Journal of Logic Language and Information邏輯、語言和信息》雜志探討了自然、形式和編程語言的基礎(chǔ)，以及人類和機(jī)器推理的不同形式。它涵蓋了認(rèn)知科學(xué)的邏輯、語言和信息理論部分。 其中主要的子領(lǐng)域是內(nèi)涵邏輯，包括動態(tài)邏輯;非單調(diào)邏輯與信念修正建設(shè)性的邏輯;邏輯學(xué)和語言學(xué)中的復(fù)雜性問題;邏輯規(guī)劃與求解的理論問題范疇語法與類型理論廣義量化;情境語義、話語表征理論、動態(tài)語義等語義結(jié)構(gòu)的信息化理論邏輯和語言結(jié)構(gòu)的連接主義模型。

　　《JOURNAL OF LOGIC AND COMPUTATION邏輯與計算》雜志旨在促進(jìn)邏輯與計算的發(fā)展，其中包括以下幾個領(lǐng)域的興趣:邏輯系統(tǒng)，如古典與非古典邏輯、建構(gòu)邏輯、范疇邏輯、模態(tài)邏輯、類型理論、可行數(shù)學(xué)……邏輯編程、基于知識的系統(tǒng)和自動推理中的邏輯問題;知識表示中的邏輯問題，如非單調(diào)推理和知識信念系統(tǒng);編程的邏輯和語義;程序和系統(tǒng)的說明和驗(yàn)證;邏輯在硬件和超大規(guī)模集成電路、自然語言、并行計算、規(guī)劃和數(shù)據(jù)庫中的應(yīng)用。大部分內(nèi)容是技術(shù)科學(xué)論文，不過也包括信件、評論、討論以及相關(guān)的會議評論。

　　《HISTORY AND PHILOSOPHY OF LOGIC邏輯的歷史與哲學(xué)》包含了關(guān)于邏輯的歷史與哲學(xué)的文章、筆記和書評。“邏輯”被理解為當(dāng)時被認(rèn)為是邏輯的任何知識卷。“歷史”是指古代，也是指本世紀(jì)的作品;但是，編輯不會接受關(guān)于某個主題的最新作品的文章，包括評論文章。“哲學(xué)”指的是廣泛而普遍的問題:現(xiàn)在被歸類為“哲學(xué)邏輯”的專業(yè)文章將不會發(fā)表。 編輯將考慮關(guān)于邏輯與其他知識分支之間關(guān)系的文章，但邏輯的組成部分必須是實(shí)質(zhì)性的。