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 …

In this paper, we present a logic MML S5 n which is a combination of multilattice logic and
modal logic S5. MML S5 n is an extension of Kamide and Shramko's modal multilattice logic …

Falsification-aware (hyper) sequent calculi and Kripke semantics for normal modal logics
including S4 and S5 are introduced and investigated in this study. These calculi and …

In this paper, we investigate an extended first-order Belnap-Dunn logic with classical
negation. We introduce a Gentzen-type sequent calculus FBD+ for this logic and prove …

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 …

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 …

In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure
and interior operators as well as the corresponding logics which are multilattice versions of …

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

In this paper, bi-intuitionistic multilattice logic, which is a combination of multilattice logic and
the bi-intuitionistic logic also known as Heyting–Brouwer logic, is introduced as a Gentzen …