Ilario Bonacina

Maria Luisa Bonet

Annals of Pure and Applied Logic

《纯逻辑与应用逻辑年鉴》杂志发表了数理逻辑所有领域以及逻辑在数学、理论计算机科学和其他相关学科中的应用的高质量论文。所有提交给期刊的投稿都应该在数学上是正确的，写得很好（最好用英文），并且包含大量逻辑学家非常感兴趣的相关新结果。该期刊还考虑提交的内容太长而无法由其他期刊发表，而太短而无法形成单独的回忆录，前提是它们具有特别出色的质量和广泛的兴趣。此外，《纯逻辑与应用逻辑年鉴》偶尔会出版精选论文的特刊，这些论文选自精选的纯逻辑和应用逻辑会议。

The Annals of Pure and Applied Logic publishes high-quality papers in all areas of mathematical logic, as well as applications of logic in mathematics, theoretical computer science, and other related fields. All submissions must be mathematically correct, well-written (preferably in English), and contain relevant new results of significant interest to logicians. The journal also considers submissions that are too long for other journals but too short to stand alone as a memoir, provided they are of exceptional quality and broad interest. Additionally, the Annals of Pure and Applied Logic occasionally publishes special issues featuring selected papers from prominent pure and applied logic conferences.

《Annals of Pure and Applied Logic》杂志发表数理逻辑各个领域的高质量论文，涵盖逻辑在数学、理论计算机科学及其他相关学科中的应用。所有提交的稿件必须在数学上是正确的，写作流畅（最好使用英文），并包含逻辑学家感兴趣的相关新成果。该期刊也接受那些由于篇幅过长而无法在其他期刊发表，或篇幅过短而无法形成独立论文的稿件，前提是这些稿件具有特别出色的质量和广泛的学术兴趣。此外，《Annals of Pure and Applied Logic》偶尔会出版精选论文的特刊，这些论文选自一些重要的纯逻辑和应用逻辑会议。

Category	Quartile
数学	2
数学, 逻辑学	2
数学, 数学	2
数学, 应用数学	2

Strength and limitations of Sherali-Adams and Nullstellensatz proof systems

ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds

Journal Info

Category	Quartile
MATHEMATICS, APPLIED	4