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 …

In this paper, we argue that the usual approach to modelling knowledge and belief with the
necessity modality does not produce intuitive outcomes in the framework of the Belnap …

In this paper we re-assess the philosophical foundation of Exactly True Logic (ET L), a
competing variant of First Degree Entailment (FDE). In order to do this, we first rebut an …

Belnap Dunn logic is a four-valued logic introduced to model reasoning with incomplete or
contradictory information. In this article, we show how Dempster-Shafer theory can be used …

This paper presents a Hilbert-style system for the logic of first-degree entailment defined in a
Fmla-Fmla framework. The effective use of this formulation as a basis for a whole family of …

In this paper, we study logical systems which represent entailment relations of two kinds. We
extend the approach of finding 'exactly true'and 'non-falsity'versions of four-valued logics that …

In this work, we propose a variant of so-called informational semantics, a technique
elaborated by Voishvillo, for two infectious logics, Deutsch's and Szmuc's. We show how the …

Mortensen introduced a connexive logic commonly known as' M3V'. M3V is obtained by
adding a special conditional to LP. Among its most notable features, besides its being …

Two new multilattice logics called submultilattice logic and indexed multilattice logic are
introduced as a monosequent calculus and an indexed monosequent calculus, respectively …

Structural reasoning is simply reasoning that is governed exclusively by structural rules. In
this context a proof system can be said to be structural if all of its inference rules are …