Formalized Mathematics is a pioneering open-access journal published by SCIENDO, dedicated to the field of formalized systems and mathematical foundations. Since its inception in 2006, it has provided a platform for researchers to discuss and disseminate advancements in applied mathematics and computational mathematics, emphasizing formalization in mathematical reasoning. Although recent coverage in Scopus has been discontinued, the journal still serves as a valuable resource for academics looking to deepen their understanding of formalized approaches to mathematical problems. With its ISSN 1898-9934, the journal not only promotes unrestricted access to quality research but also facilitates collaboration among mathematicians and computer scientists. Given its rankings—20th percentile in Applied Mathematics and 18th percentile in Computational Mathematics—Formalized Mathematics is a vital conduit for innovative research, making it a significant asset for students, professionals, and scholars aiming to explore the intersection of mathematics and formal logic.

Logical Methods in Computer Science is a premier Open Access journal dedicated to fostering scholarly dialogue within the realms of Computer Science and Theoretical Computer Science. Established in 2004 and published by LOGICAL METHODS COMPUTER SCIENCE E V in Germany, this journal aims to bridge theoretical frameworks and practical applications, providing a platform for innovative research and discoveries. With an impressive HIndex reflecting its commitment to high-quality research, Logical Methods in Computer Science has achieved a Q2 ranking in both the miscellaneous and theoretical categories of computer science, indicating its growing influence in the academic community. Researchers, professionals, and students are encouraged to access and engage with the wealth of knowledge this journal offers, which is freely accessible to facilitate widespread dissemination of cutting-edge advancements in logical methods. With its convergence period extending from 2005 to 2024, Logical Methods in Computer Science continues to be a vital resource for those looking to explore the intersections of logic, computation, and mathematics.

Informal Logic is a prestigious, open-access academic journal published by the University of Windsor's Department of Philosophy, focusing on the intersection of reasoning, argumentation, and rhetoric within the field of philosophy. Since its establishment in 2006, it has dedicated itself to promoting rigorous scholarship and innovative methodologies, supporting an array of topics that delve into both theoretical and practical dimensions of informal logic. With an impressive Q1 ranking in philosophy as of 2023, and a commendable ranking of #149 out of 806 within the Arts and Humanities - Philosophy category, the journal holds a significant place in academic discourse, attracting a diverse readership of researchers, professionals, and students alike. Notably, it operates under an open-access model, fostering greater accessibility to high-quality research, and contributing to the growing global dialogue around critical thinking and communication. The journal’s impact and relevance continue to grow, especially in the context of converging years from 2010 to 2024, making it an essential resource for anyone engaged in the study of informal logic.

The Journal of Computer and System Sciences is a distinguished publication founded in 1967 and continually striving to push the boundaries of knowledge in computer science and applied mathematics. Published by Academic Press Inc, Elsevier Science, this journal boasts impressive credentials, holding a Q1 quartile ranking across multiple categories including Applied Mathematics, Computational Theory and Mathematics, Computer Networks and Communications, and Theoretical Computer Science as of 2023. With a focus on innovative research and comprehensive theoretical developments, this journal serves as a pivotal forum for authors and readers alike, facilitating cutting-edge contributions to the field. The journal is not currently open access, providing a curated selection of high-quality articles for its subscription residents. By engaging with this journal, researchers, professionals, and students can gain insight into the latest trends, prominent methodologies, and significant findings that shape the modern landscape of computing and systems analysis.

IEEE Computational Intelligence Magazine, published by the esteemed IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, is an essential resource for researchers and professionals in the fields of Artificial Intelligence and Theoretical Computer Science. With a robust Q1 ranking in both categories for 2023, this magazine stands out as a leader in disseminating cutting-edge research and innovative applications within computational intelligence. As an invaluable conduit for knowledge, it covers a diverse range of topics, including but not limited to machine learning, neural networks, and data mining. The magazine is particularly recognized for its interdisciplinary approach, bridging gaps between theory and application while contributing to advancements in technology and society. Although it does not offer open access, the insights provided are critical for staying at the forefront of this rapidly evolving discipline. Join a community of like-minded scholars and practitioners by exploring the latest findings and trends published from 2006 to 2024, operating from its headquarters at 445 Hoes Lane, Piscataway, NJ, United States.

ERCIM News is a leading publication in the field of informatics and mathematics, sponsored by the European Research Consortium for Informatics and Mathematics (ERCIM). With an ISSN of 0926-4981 and E-ISSN 1564-0094, this journal serves as a vital platform for sharing innovative research and developments across Europe and beyond. Although it operates under a subscription model, the content remains accessible to a wide audience of researchers, professionals, and students interested in advancing their knowledge in computational sciences and mathematical applications. The journal’s primary objective is to disseminate cutting-edge research, technological advancements, and insights from various fields of informatics, promoting collaboration and exchange among experts. Based in the heart of Sophia Antipolis, France, ERCIM News not only contributes to the academic community but also plays a crucial role in shaping the future of scientific research and innovation.

Review of Symbolic Logic is a prestigious academic journal published by Cambridge University Press, dedicated to advancing the field of logic through critical analysis and innovative research. Established in 2008, the journal has become a key fixture in the academic community, particularly recognized for its contributions in the realms of logic, mathematics (miscellaneous), and philosophy. With an impressive classification of Q1 across multiple categories in 2023, it ranks within the top echelons of its field, standing at 15th out of 41 in Logic and 29th out of 90 in miscellaneous mathematics, positioning itself as essential reading for scholars and practitioners alike. Although not Open Access, the journal offers robust access options through institutional subscriptions, providing an expansive platform for the dissemination of high-quality research. Review of Symbolic Logic aims to foster a deeper understanding of symbolic logic's applications and implications while inspiring emerging scholars and seasoned researchers to further the dialogue within this vibrant area of study.

Doxa-Cuadernos de Filosofia y Derecho, an esteemed journal published by Universidad de Alicante, serves as a vital platform for scholarly discourse in the fields of philosophy and law. Established with the intention of fostering an interdisciplinary understanding, the journal is indexed with an impressive Q1 ranking in Philosophy and a Q2 ranking in Law for 2023. With its Open Access policy implemented since 2016, Doxa ensures that cutting-edge research is freely accessible, promoting wider dissemination of ideas and encouraging academic collaboration. Housed in the picturesque city of Alicante, Spain, Doxa celebrates a converged publishing timeline from 2019 to 2023, reflecting its commitment to contemporary issues and dialogues within both disciplines. As a vital resource for researchers, professionals, and students, this journal invites contributions that push the boundaries of philosophical inquiry and legal scholarship.

JOURNAL OF LOGIC AND COMPUTATION, published by Oxford University Press, is a leading peer-reviewed journal dedicated to advancing research in the intersections of logic, computation, and theoretical frameworks of computer science. With an ISSN of 0955-792X and an E-ISSN of 1465-363X, the journal has established itself within academic circles, boasting significant impact evidenced by its category quartiles, including a Q1 ranking in Arts and Humanities (miscellaneous) and a Q2 in Logic for 2023. This prestigious journal emphasizes interdisciplinary approaches to understanding computational systems, hence targeting a diverse audience of researchers, professionals, and students keen on exploring provocative questions in logic and computation. Although not open access, the content is highly valuable, reflecting contemporary challenges and advancements in the field. With over three decades of published work, spanning from 1990 to 2024, the journal continues to contribute richly to the discourse surrounding logical methodologies and computational innovations, making it an essential resource for those engaged in these dynamic areas of study.

International Journal of Fuzzy Logic and Intelligent Systems, ISSN: 1598-2645, is a prestigious journal published by the Korean Institute of Intelligent Systems, dedicated to advancing the fields of Artificial Intelligence, Computational Theory and Mathematics, Computer Science Applications, Logic, and Signal Processing. Established to foster interdisciplinary research, this journal has quickly established its reputation, reaching a respectable Q3 quartile ranking across multiple categories in 2023. It serves as a vital resource for researchers, professionals, and students, offering insights into cutting-edge methodologies and innovative applications of fuzzy logic and intelligent systems. With a focus on disseminating high-quality research, the journal attracts contributions that drive the evolution of intelligent technologies and their practical implications. Published from South Korea, the journal is positioned to impact the global community, facilitating a deeper understanding of intelligent systems in various domains.