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 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 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.