Yaroslav Shramko

26 papers Journal 26
YearRankTypeTitle / Venue / Authors
2022 J jnl
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.
Arch. Math. Log.
Yaroslav Shramko
2021 J jnl
Correction to: The nature of entailment: an informational approach.
Synth.
Yaroslav Shramko, Heinrich Wansing
2021 J jnl
Hilbert-style axiomatization of first-degree entailment and a family of its extensions.
Ann. Pure Appl. Log.
Yaroslav Shramko
2021 J jnl
The nature of entailment: an informational approach.
Synth.
Yaroslav Shramko, Heinrich Wansing
2020 J jnl
First-degree Entailment and Binary Consequence Systems.
FLAP
Yaroslav Shramko
2019 J jnl
Dual-Belnap Logic and Anything but Falsehood.
FLAP
Yaroslav Shramko
2019 J jnl
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.
J. Philos. Log.
Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov
2017 J jnl
Embedding from multilattice logic into classical logic and vice versa.
J. Log. Comput.
Norihiro Kamide, Yaroslav Shramko
2017 J jnl
First-Degree Entailment and its Relatives.
Stud Logica
Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov
2017 J jnl
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.
Stud Logica
Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing
2017 J jnl
Modal Multilattice Logic.
Logica Universalis
Norihiro Kamide, Yaroslav Shramko
2017 J jnl
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.
Stud Logica
Yaroslav Shramko
2016 J jnl
A Modal Translation for Dual-intuitionistic Logic.
Rev. Symb. Log.
Yaroslav Shramko
2013 J jnl
Bi-facial Truth: a Case for Generalized Truth Values.
Stud Logica
Dmitry Zaitsev, Yaroslav Shramko
2009 J jnl
Editorial Introduction. Truth Values: Part I.
Stud Logica
Yaroslav Shramko, Heinrich Wansing
2009 J jnl
Editorial Introduction. Truth Values: Part II.
Stud Logica
Yaroslav Shramko, Heinrich Wansing
2009 J jnl
The Slingshot Argument and Sentential Identity.
Stud Logica
Yaroslav Shramko, Heinrich Wansing
2008 J jnl
Erratum to
Stud Logica
Heinrich Wansing, Yaroslav Shramko
2008 J jnl
Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.
Stud Logica
Heinrich Wansing, Yaroslav Shramko
2006 J jnl
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.
J. Log. Lang. Inf.
Yaroslav Shramko, Heinrich Wansing
2005 J jnl
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.
Stud Logica
Yaroslav Shramko
2005 J jnl
From the Editors.
Stud Logica
Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko
2005 J jnl
Some Useful 16-Valued Logics: How a Computer Network Should Think.
J. Philos. Log.
Yaroslav Shramko, Heinrich Wansing
2001 J jnl
The Trilattice of Constructive Truth Values.
J. Log. Comput.
Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka
1996 J jnl
Review of Walter P. van Stigt: Brouwer's Intuitionism.
J. Appl. Non Class. Logics
Yaroslav Shramko
1994 J jnl
Relevant Variants of Intuitionistic Logic.
Log. J. IGPL
Yaroslav Shramko