Relevant Variants of Intuitionistic Logic. - Yaroslav Shramko (Log. J. IGPL, 1994)

Review of Walter P. van Stigt: Brouwer's Intuitionism. - Yaroslav Shramko (J. Appl. Non Class. Logics, 1996)

The Trilattice of Constructive Truth Values. - Yaroslav Shramko; J. Michael Dunn; Tatsutoshi Takenaka (J. Log. Comput., 2001)

Some Useful 16-Valued Logics: How a Computer Network Should Think. - Yaroslav Shramko; Heinrich Wansing (J. Philos. Log., 2005)

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. - Yaroslav Shramko (Stud Logica, 2005)

From the Editors. - Heinrich Wansing; Sergei P. Odintsov; Yaroslav Shramko (Stud Logica, 2005)

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. - Yaroslav Shramko; Heinrich Wansing (J. Log. Lang. Inf., 2006)

Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. - Heinrich Wansing; Yaroslav Shramko (Stud Logica, 2008)

Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008. - Heinrich Wansing; Yaroslav Shramko (Stud Logica, 2008)

Editorial Introduction. Truth Values: Part I. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

The Slingshot Argument and Sentential Identity. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

Editorial Introduction. Truth Values: Part II. - Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2009)

Bi-facial Truth: a Case for Generalized Truth Values. - Dmitry Zaitsev 002; Yaroslav Shramko (Stud Logica, 2013)

A Modal Translation for Dual-intuitionistic Logic. - Yaroslav Shramko (Rev. Symb. Log., 2016)

Embedding from multilattice logic into classical logic and vice versa. - Norihiro Kamide; Yaroslav Shramko (J. Log. Comput., 2017)

Modal Multilattice Logic. - Norihiro Kamide; Yaroslav Shramko (Logica Universalis, 2017)

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. - Norihiro Kamide; Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2017)

Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50. - Yaroslav Shramko (Stud Logica, 2017)

First-Degree Entailment and its Relatives. - Yaroslav Shramko; Dmitry Zaitsev 002; Alexander Belikov 001 (Stud Logica, 2017)

Dual-Belnap Logic and Anything but Falsehood. - Yaroslav Shramko (FLAP, 2019)

The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins. - Yaroslav Shramko; Dmitry Zaitsev 002; Alexander Belikov 001 (J. Philos. Log., 2019)

First-degree Entailment and Binary Consequence Systems. - Yaroslav Shramko (FLAP, 2020)

Hilbert-style axiomatization of first-degree entailment and a family of its extensions. - Yaroslav Shramko (Ann. Pure Appl. Log., 2021)

The nature of entailment: an informational approach. - Yaroslav Shramko; Heinrich Wansing (Synth., 2021)

Correction to: The nature of entailment: an informational approach. - Yaroslav Shramko; Heinrich Wansing (Synth., 2021)

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning. - Yaroslav Shramko (Arch. Math. Log., 2022)