Explore & Discover Scientific Journals

Fuzzy Information and Engineering—An International Journal wants to provide a unified communication platform for researchers in a wide area of topics from pure and applied mathematics, computer science, engineering, and other related fields. While also accepting fundamental work, the journal focuses on applications. Research papers, short communications, and reviews are welcome. Technical topics within the scope include: (1) Fuzzy Information a. Fuzzy information theory and information systems b. Fuzzy clustering and classification c. Fuzzy information processing d. Hardware and software co-design e. Fuzzy computer f. Fuzzy database and data mining g. Fuzzy image processing and pattern recognition h. Fuzzy information granulation i. Knowledge acquisition and representation in fuzzy information (2) Fuzzy Sets and Systems a. Fuzzy sets b. Fuzzy analysis c. Fuzzy topology and fuzzy mapping d. Fuzzy equation e. Fuzzy programming and optimal f. Fuzzy probability and statistic g. Fuzzy logic and algebra h. General systems i. Fuzzy socioeconomic system j. Fuzzy decision support system k. Fuzzy expert system (3) Soft Computing a. Soft computing theory and foundation b. Nerve cell algorithms c. Genetic algorithms d. Fuzzy approximation algorithms e. Computing with words and Quantum computation (4) Fuzzy Engineering a. Fuzzy control b. Fuzzy system engineering c. Fuzzy knowledge engineering d. Fuzzy management engineering e. Fuzzy design f. Fuzzy industrial engineering g. Fuzzy system modeling (5) Fuzzy Operations Research [...] (6) Artificial Intelligence [...] (7) Others [...]

The scope of the journal is the logical and computational 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. Examples of main subareas are Intentional 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 emphasis is on the theoretical aspects of these areas.

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.

The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.

Cubo is a leading international peer-reviewed journal publishing original research, clinical updates, and reviews indexed in Clarivate Web of Science (SCIE) with Q3 quartile ranking.

"Journal of Logic and Analysis" publishes papers of high quality involving interaction between ideas or techniques from mathematical logic and other areas of mathematics (especially - but not limited to - pure and applied analysis). The journal welcomes papers in nonstandard analysis and related areas of applied model theory; papers involving interplay between mathematics and logic (including foundational aspects of such interplay); mathematical papers using or developing analytical methods having connections to any area of mathematical logic. "Journal of Logic and Analysis" is intended to be a natural home for papers with an essential interaction between mathematical logic and other areas of mathematics, rather than for papers purely in logic or analysis.

The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.

The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.

Logica Universalis (LU) publishes peer-reviewed research papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also philosophical and historical aspects of general concepts of logic.

Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications is a leading international peer-reviewed journal publishing original research, clinical updates, and reviews indexed in Clarivate Web of Science (SCIE) with Q4 quartile ranking.