期刊簡介

邏輯幾乎應用于信息技術的所有方面，從軟件工程和硬件到編程和人工智能。事實上，邏輯、人工智能和理論計算相互影響，以至于一個新的跨學科領域“邏輯與計算”正在興起。

《邏輯與計算雜志》旨在促進邏輯和計算的發展，其中包括以下感興趣的領域：邏輯系統，例如經典和非經典邏輯、構造邏輯、范疇邏輯、模態邏輯、類型理論、可行數學……邏輯編程、知識型系統和自動推理中的邏輯問題；知識表示中的邏輯問題，例如非單調推理和知識與信念系統；編程的邏輯和語義；程序和系統的規范和驗證；邏輯在硬件和 VLSI、自然語言、并發計算、規劃和數據庫中的應用。大部分內容是技術科學論文，但也包括信件、評論和討論以及相關的會議評論。

邏輯與計算雜志創刊于1990年，由Oxford University Press出版社出版。其研究的主題領域包括但不限于工程技術-計算機：理論方法，是一本在數學領域具有重要影響力的國際期刊。該期刊涵蓋了數學的多個子領域，旨在全面理解和解決數學問題。

根據最新的數據，邏輯與計算雜志的影響因子為0.7，CiteScore為1.9，h-index為49，SJR為0.472，SNIP為1.062，中科院分區為4區，這些指標均顯示了該期刊在數學領域的優秀地位。

該刊以English作為出版語言。對于English非母語的作者，期刊建議使用語言編輯服務，以確保文稿的語法和拼寫錯誤得到糾正，并符合科學English的標準。如果想實現快速順利的投稿發表，建議您聯系本站的客服團隊，將為您提供專業的選刊建議，并在整個投稿過程中提供細致的指導。