The Fuzzy Logic Corner of the Journal of Logic and Computation is intended to provide a platform for new developments in the field of Mathematical Fuzzy Logic. We welcome high-quality submissions on a range of topics, including t-norms and related operators, ordered algebraic structures and other semantics for fuzzy logics, proof theory and applications to automated reasoning, relationships to vagueness and probability, and logical foundations of fuzzy computing and fuzzy sets. It is our hope that this corner, by concentrating on the deeper mathematical and computational aspects of Fuzzy Logic, will help promote the field to a wider audience within Logic and Computer Science. It is therefore our great pleasure to introduce here the first accepted paper for the corner, 'Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic' by Petr Cintula and Petr Hajek. Lukasiewicz logics are credited as being the first formalized non-classical logics and play a significant role in several areas, including Algebra and Geometry. In particular, the infinite-valued Lukasiewicz logic is considered one of the most important fuzzy logics.
展开▼