The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a
general framework for many applications. In the present paper we develop proof systems …

In his well-known paper “How computer should think” Belnap (1977) argues that four-valued
semantics is a very suitable setting for computerized reasoning. In this paper we vindicate …

The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

In Belnap's useful 4-valued logic, the set 2={T, F} of classical truth values is generalized to
the set 4=℘(2)={∅,{T},{F},{T, F}}. In the present paper, we argue in favor of extending this …

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 …

The assumption stating that every propositions may be ascribed to exactly one of the two
logical values, truth or falsity, called the principle of bivalence constitutes the basis for the …

A classical Gentzen-type system is one which employs two-sided sequents, together with
structural and logical rules of a certain characteristic form. A decent Gentzen-type system …

The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of
some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Arnon …

We present a novel approach to paraconsistent reasoning, that is, to reasoning from
inconsistent information. The basic idea is the following. We transform an inconsistent theory …

This paper has two goals. First, we develop frameworks for logical systems which are able to
reflect not only non-monotonic patterns of reasoning, but also paraconsistent reasoning. Our …