Yaroslav Shramko

According to our database, Yaroslav Shramko authored at least 26 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.

Yaroslav Shramko

Arch. Math. Log., 2022

2021

Correction to: The nature of entailment: an informational approach.

Yaroslav Shramko, Heinrich Wansing

Synth., 2021

The nature of entailment: an informational approach.

Yaroslav Shramko, Heinrich Wansing

Synth., 2021

Hilbert-style axiomatization of first-degree entailment and a family of its extensions.

Yaroslav Shramko

Ann. Pure Appl. Log., 2021

2020

First-degree Entailment and Binary Consequence Systems.

Yaroslav Shramko

FLAP, 2020

2019

The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.

Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov

J. Philos. Log., 2019

Dual-Belnap Logic and Anything but Falsehood.

Yaroslav Shramko

FLAP, 2019

2017

First-Degree Entailment and its Relatives.

Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov

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

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.

Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing

Stud Logica, 2017

Modal Multilattice Logic.

Norihiro Kamide, Yaroslav Shramko

Logica Universalis, 2017

Embedding from multilattice logic into classical logic and vice versa.

Norihiro Kamide, Yaroslav Shramko

J. Log. Comput., 2017

2016

A Modal Translation for Dual-intuitionistic Logic.

Yaroslav Shramko

Rev. Symb. Log., 2016

2013

Bi-facial Truth: a Case for Generalized Truth Values.

Dmitry Zaitsev, Yaroslav Shramko

Stud Logica, 2013

2009

Editorial Introduction. Truth Values: Part II.

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 I.

Yaroslav Shramko, Heinrich Wansing

Stud Logica, 2009

2008

Erratum to <i>Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica</i> , 88: 405-429, 2008.

Heinrich Wansing, Yaroslav Shramko

Stud Logica, 2008

Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.

Heinrich Wansing, Yaroslav Shramko

Stud Logica, 2008

2006

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.

Yaroslav Shramko, Heinrich Wansing

J. Log. Lang. Inf., 2006

2005

From the Editors.

Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko

Stud Logica, 2005

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.

Yaroslav Shramko

Stud Logica, 2005

Some Useful 16-Valued Logics: How a Computer Network Should Think.

Yaroslav Shramko, Heinrich Wansing

J. Philos. Log., 2005

2001

The Trilattice of Constructive Truth Values.

Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka

J. Log. Comput., 2001

1996

Review of Walter P. van Stigt: Brouwer's Intuitionism.

Yaroslav Shramko

J. Appl. Non Class. Logics, 1996

1994

Relevant Variants of Intuitionistic Logic.

Yaroslav Shramko

Log. J. IGPL, 1994