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 …

This paper aims to empirically explore the state of practical applications of paraconsistent
logics. To this end, we performed an exploratory literature review, analysing papers …

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 …

Connexive logic has room for two pairs of universal and particular quantifiers: one pair, and,
are standard quantifiers; the other pair, and, are unorthodox, but we argue, are well …

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize
some logics of formal inconsistency, such as those found between mbCcl mbCcl and Cila …

Abstract In this paper, Graham Priest's understanding of dialetheism, the view that there exist
true contradictions, is discussed, and various kinds of metaphysical dialetheism are …

In this paper, we present correspondence analysis for the well-known four-valued logic First
Degree Entailment (FDE). Correspondence analysis is Kooi and Tamminga's technique for …

Logical argumentation is a well-known approach to modeling non-monotonic reasoning with
conflicting information. In this paper we provide a comprehensive postulate-based study of …

In this paper, we show how to represent natural argumentative discourse through
Adpositional Argumentation, a uniform framework for expressing linguistic and pragmatic …

Analytic tableau systems for the family of non-deterministic semantics are introduced. These
are based on tableaux for many-valued logics using sets-as-signs DNF representations …