Yaroslav Shramko

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 13

Top Topics

Recognizing Textual Entailment

Classical Logic

Linearly Ordered

Top Venues

Logica Universalis

Publications

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