Fuzzy logics are many-valued logics that are well suited to reasoning in the context of
vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse …

Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …

Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas
were formulated by Lotfi Zadeh (see Zadeh [1975] a). The aim of this theory is to formalize …

There are a lot of excellent works in proof theory using various forms of Sequent Calculi (SC)
as the basic formal systems. 1 This book is of a different character. It is not a systematic …

Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in
the title can only be understood in the temporal sense; the bulk of Urquhart's chapter in this …

We present two embeddings of Łukasiewicz logic Ł into Meyer and Slaney's Abelian logic A,
the logic of lattice-ordered Abelian groups. We give new analytic proof systems for A and …

Like in the case of classical logic and other non-standard logics, a variety of complexity-
related questions can be asked in the context of many-valued logic. Some questions, such …

The last decade has seen an enormous development in infinite-valued systems and in
particular in such systems which have become known as mathematical fuzzy logics. The …

Abstract In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue
rules with a simple scheme for betting on the truth of atomic statements, and showed that the …

The main contribution of this paper is to introduce an autonomous definition of the
connective “fuzzy exclusive or”(fuzzy Xor, for short), which is independent from others …