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 …

Logical pluralism is the claim that different accounts of validity can be equally correct. Beall
and Restall have recently defended this position. Validity is a matter of truth-preservation …

In this paper, we discuss J. Michael Dunn's foundational work on the semantics for First
Degree Entailment logic (FDE), also known as Belnap–Dunn logic (or Sanjaya–Belnap …

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 …

Let us begin by briefly discussing an important criterion, proposed by Church [1951], for
determining whether or not a deduction is relevantly valid, known as Church's use criterion …

Despite the tendency to be otherwise, some non-classical logics are known to validate
formulas that are invalid in classical logic. A subclass of such systems even possesses pairs …

Only propositional logics are at issue here. Such a logic is contra-classieal in a superficial
sense if it is not a sublogic of classical logic, and in a deeper sense, if there is no way of …

In a famous and controversial paper, BH Slater has argued against the possibility of
paraconsistent logics. Our reply is centred on the distinction between two aspects of the …

We give a proof-theoretic as well as a semantic characterization of a logic in the signature
with conjunction, disjunction, negation, and the universal and existential quantifiers that we …