Journal Guide

For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

This journal publishes results of the latest research in the areas of modern general algebra and of logic considered primarily from an algebraic viewpoint. The algebraic papers, constituting the major part of the contents, are concerned with studies in such fields as ordered, almost torsion-free, nilpotent, and metabelian groups; isomorphism rings; Lie algebras; Frattini subgroups; and clusters of algebras. In the area of logic, the periodical covers such topics as hierarchical sets, logical automata, and recursive functions. Algebra and Logic is a translation of the peer-reviewed journal Algebra I Logika, a publication of the Siberian Fund for Algebra and Logic and the Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences. More information is available at the editor's website via the following link:http://math.nsc.ru/~alglog/

The Annals of Pure and Applied Logic publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic. The Annals serves primarily but not exclusively as a vehicle for the publication of papers too long to be published promptly by other journals, but too short to form a separate book.Benefits to authorsWe also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: http://support.elsevier.com

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.

Behavioral Sciences (ISSN 2076-328X) is a peer-reviewed journal that publishes original articles, critical reviews, research notes and short communications in the area of psychology, neuroscience, cognitive science, behavioral biology and behavioral genetics. Our aim is to encourage scientists to publish their experimental and theoretical results in as much detail as possible. There is no restriction on the length of the papers. The full experimental details must be provided so that the results can be reproduced. Electronic files or software regarding the full details of the calculation and experimental procedure, if unable to be published in a normal way, can be deposited as supplementary material.

Erkenntnis is a philosophical journal publishing papers committed in one way or another to the philosophical attitude which is signified by the label 'scientific philosophy'. It concentrates on those philosophical fields which are particularly inspired by this attitude, although other topics are welcome as well. These fields are:

- Epistemology
- Philosophy of science, foundations and methodology of science in general and natural and human sciences such as physics, biology, psychology, economics, social sciences, etc. in particular
- Philosophy of mathematics
- Logic, philosophy of logic, and all kinds of philosophical logics
- Philosophy of language
- Ontology, metaphysics, theory of truth, theory of modality
- Philosophical psychology, philosophy of mind
- Practical philosophy, i.e. ethics, philosophy of action, philosophy of law, etc. One of the objectives of Erkenntnis is the provision of a suitable platform for the discussion of controversial issues: another is the provision of timely, competent reviews of important publications in an ever-growing field of research.

In recent years, philosophers standing quite outside the pale of analytic philosophy have also paid careful, and indeed most welcome, attention both to precision of concept and language, and to well-grounded foundations. Erkenntnis provides for them, and for philosophers of all persuasions, a place of meeting, of discussion, and of disputation.

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, letters, and reviews are welcome. Technical topics within the scope include: 1) Fuzzy Information a. Fuzzy information theory and information systems b. Fuzzy clustering and classificationc. Fuzzy information processing d. Hardware and software co-designe. Fuzzy computer f. Fuzzy database and data miningg. 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 algorithmsc. Genetic algorithms d. Fuzzy approximation algorithmse. Computing with words and Quantum computation 4) Fuzzy Engineeringa. 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 Researcha. Fuzzy evaluation and decision-making b. Fuzzy overall plans and scheduling c. Fuzzy prediction and forecasting d. Fuzzy countermeasuree. Fuzzy graph theory and network flow f. Fuzzy management in knowledge 6) Artificial Intelligence a. Fuzzy basis , system in knowledge b. Approximate reasoning and fuzzy reasoning machinec. Fuzzy neural networks d. Intelligent controls and robotse. Fuzzy automata f. Statistical learning theory and support vector machine 7) Othersa. Rough sets theory and its applications b. Fuzzy grey systemsc. Fuzzy education d. Fuzzy linguistics e. Fuzzy biology Selected papers from relevant conferences are also welcome. The research and practice of fuzzy information and fuzzy engineering for special interest groups and from special geographic locations will be accommodated by publishing special issues with the help of guest editors. Conference organizers are invited to contact the Editor-in-Chief ifiae@gzhu.edu.cn for further information.

Fuzzy Optimization and Decision Making has been accepted for Science Citation Index Expanded and Current Contents/Engineering Computing and Technology and will first appear with an Impact Factor in the 2009 Journal Citation Reports (JCR), published in June 2010. Fuzzy Optimization and Decision Making covers all aspects of the theory and practice of fuzzy optimization and decision making in the presence of uncertainty. It examines theoretical, empirical, and experimental work related to fuzzy modeling and associated mathematics, solution methods, and systems. The journal publishes papers in the following areas: modeling, theoretical developments, algorithmic developments, systems development and applications. This journal promotes research and the development of fuzzy technology and soft-computing methodologies to enhance our ability to address complicated optimization and decision making problems involving non-probabilistic uncertainty. It helps foster the understanding, development, and practice of fuzzy te

Since its launching in 1978, the journal Fuzzy Sets and Systems has been devoted to the international advancement of the theory and application of fuzzy sets and systems. The theory of fuzzy sets now encompasses a well organized corpus of basic notions including (and not restricted to) aggregation operations, a generalized theory of relations, specific measures of information content, a calculus of fuzzy numbers. Fuzzy sets are also the cornerstone of a non-additive uncertainty theory, namely possibility theory, and of a versatile tool for both linguistic and numerical modeling: fuzzy rule-based systems. Numerous works now combine fuzzy concepts with other scientific disciplines as well as modern technologies.In mathematics fuzzy sets have triggered new research topics in connection with category theory, topology, algebra, analysis. Fuzzy sets are also part of a recent trend in the study of generalized measures and integrals, and are combined with statistical methods. Furthermore, fuzzy sets have strong logical underpinnings in the tradition of many-valued logics.Fuzzy set-based techniques are also an important ingredient in the development of information technologies. In the field of information processing fuzzy sets are important in clustering, data analysis and data fusion, pattern recognition and computer vision. Fuzzy rule-based modeling has been combined with other techniques such as neural nets and evolutionary computing and applied to systems and control engineering, with applications to robotics, complex process control and supervision. In thefield of information systems, fuzzy sets play a role in the development of intelligent and flexible manBmachine interfaces and the storage of imprecise linguistic information. In Artificial Intelligence various forms of knowledge representation and automated reasoning frameworks benefit from fuzzy set-based techniques, for instance in interpolative reasoning, non-monotonic reasoning, diagnosis, logic programming, constraint-directed reasoning, etc. Fuzzy expert systems have been devised for fault diagnosis,and also in medical science. In decision and organization sciences, fuzzy sets has had a great impact in preference modeling and multicriteria evaluation, and has helped bringing optimization techniques closer to the users needs. Applications can be found in many areas such as management, production research, and finance. Moreover concepts and methods of fuzzy set theory have attracted scientists in many other disciplines pertaining to human-oriented studies such as cognitive psychology and some aspects of social sciences.The scope of the journal Fuzzy Sets and Systems has expanded so as to account for all facets of the field while emphasizing its specificity as bridging the gap between the flexibility of human representations and the precision and clarity of mathematical or computerized representations, be they numerical or symbolic.The journal welcomes original and significant contributions in the area of Fuzzy Sets whether on empirical or mathematical foundations, or their applications to any domain of information technology, and more generally to any field of investigation where fuzzy sets are relevant. Applied papers demonstrating the usefulness of fuzzy methodology in practical problems are particularly welcome. Fuzzy Sets and Systems publishes high-quality research articles, surveys as well as case studies. Separate sections are Recent Literature, and the Bulletin, which offers research reports, book reviews and conference announcements and various news items. Invited review articles on topics of general interest are included and special issues are published regularly.

History and Philosophy of Logic contains articles, notes and book reviews dealing with the history and philosophy of logic. 'Logic' is understood to be any volume of knowledge which was regarded as logic at the time in question. 'History' refers back to ancient times and also to work in this century; however, the Editor will not accept articles, including review articles, on very recent work on a topic. 'Philosophy' refers to broad and general questions: specialist articles which are now classed as 'philosophical logic' will not be published. The Editor will consider articles on the relationship between logic and other branches of knowledge, but the component of logic must be substantial. Topics with no temporal specification are to be interpreted both historically and philosophically. Each topic includes its own metalogic where appropriate. All published research articles in this journal have undergone rigorous peer review, based on initial editor screening and anonymous refereeing by independent expert referees. Disclaimer Taylor & Francis makes every effort to ensure the accuracy of all the information (the 'Content') contained in its publications. However, Taylor & Francis and its agents and licensors make no representations or warranties whatsoever as to the accuracy, completeness or suitability for any purpose of the Content and disclaim all such representations and warranties whether express or implied to the maximum extent permitted by law. Any views expressed in this publication are the views of the authors and are not the views of Taylor & Francis.

This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent. For a list of areas covered see the Editorial Board.The editors keep close contact with the various application areas, with The International Federation of Compuational Logic and with the book series Studies in Logic and Practical Reasoning.Benefits to authorsWe also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: http://support.elsevier.com

The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Topics of interest to the journal include:• Logic programming• Constraint programming• Abstract data types• Classes and objects• Components• Process algebra and pi-calculus• Term rewriting• Lambda calculus• Algebraic specification and verification of systems• Algebraic methods for syntax and semantics• Applications of algebras, categories, domains, topological spaces and co-algebras to programming• Applications of proof theory and model theory to programming• Programming with topological data typesThe Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, cincurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.