We consider a family of logical systems for representing entailment relations of various
kinds. This family has its root in the logic of first-degree entailment formulated as a binary …

In this introductory chapter, we show how Gottlob Frege's notion of a truth value has become
part of the standard philosophical and logical terminology. Nowadays, the notion of a truth …

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions
of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the …

This article presents some theorems for syntactic and semantic embeddings of a Gentzen-
type sequent calculus ML n for multilattice logic into a Gentzen-type sequent calculus LK for …

A classical paraconsistent logic (CP), which is regarded as a modified extension of first-
degree entailment logic, is introduced as a Gentzen-type sequent calculus. This logic can …

A modal extension of multilattice logic, called modal multilattice logic, is introduced as a
Gentzen-type sequent calculus MML _n MML n. Theorems for embedding MML _n MML n …

In this study, we introduce a paradefinite logic (PL) given by a Gentzen-type sequent
calculus as a modified extension of Arieli, Avron, and Zamansky's ideal four-valued …

In the paper, we introduce multilattice versions of the basic congruent and monotonic modal
logics. In the case of congruent and monotonic ones, we also study their extensions by …

Two new propositional non-classical logics, referred to as symmetric intuitionistic logic (SIL)
and conflated intuitionistic logic (CIL), are introduced as indexed and non-indexed Gentzen …

Abstract Shramko [(2016). Truth, falsehood, information and beyond: The American plan
generalized. In K. Bimbo (Ed.), J. Michael Dunn on information based logics, outstanding …