Yaroslav Shramko

发表

Dedicated to Nuel D. Belnap on the occasion of his 75th Birthday

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2005 .

The Slingshot Argument and Sentential Identity

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2009, Stud Logica.

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

Yaroslav Shramko, Y. Shramko, 2005, Stud Logica.

The nature of entailment: an informational approach

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2019, Synthese.

A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC

Yaroslav Shramko, Y. Shramko, 2016, The Review of Symbolic Logic.

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

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2008, Stud Logica.

The Trilattice of Constructive Truth Values

Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka, 2001, J. Log. Comput..

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, 2017, Stud Logica.

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

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2005, J. Philos. Log..

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

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2006, J. Log. Lang. Inf..

From the Editors

Heinrich Wansing, Yaroslav Shramko, Sergei P. Odintsov, 2005, Stud Logica.

Dual-Belnap Logic and Anything but Falsehood

Yaroslav Shramko, 2019, FLAP.

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

Yaroslav Shramko, 1996, J. Appl. Non Class. Logics.

First-degree Entailment and Binary Consequence Systems

Yaroslav Shramko, 2020, FLAP.

Correction to: The nature of entailment: an informational approach

Heinrich Wansing, Yaroslav Shramko, 2020, Synthese.

Editorial Introduction. Truth Values: Part I

Heinrich Wansing, Yaroslav Shramko, 2009, Stud Logica.

Embedding from multilattice logic into classical logic and vice versa

Yaroslav Shramko, Norihiro Kamide, N. Kamide, 2016, J. Log. Comput..

State-descriptions as a Method of Semantic Analysis for Intuitionistic Logic

Yaroslav Shramko, 2000 .

Editorial Introduction. Truth Values: Part II

Heinrich Wansing, Yaroslav Shramko, 2009, Stud Logica.

The logical ontology of negative facts: on what is not

Yaroslav Shramko, Uwe Scheffler, 2000 .

Semantics for Constructive Negations

Yaroslav Shramko, 2001 .

Is time reversible

Yaroslav Shramko, 2014 .

First-Degree Entailment and its Relatives

Yaroslav Shramko, Dmitry Zaitsev, Alexander Belikov, 2017, Stud Logica.

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

Yaroslav Shramko, Alexander Belikov, Dmitry Zaitsev, 2018, J. Philos. Log..

First-Degree Entailment and Structural Reasoning

Yaroslav Shramko, 2019 .

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, 2008, Stud Logica.

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

Heinrich Wansing, Yaroslav Shramko, Norihiro Kamide, 2017, Stud Logica.

Modal Multilattice Logic

Yaroslav Shramko, Norihiro Kamide, 2017, Logica Universalis.

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

Yaroslav Shramko, 2021, Ann. Pure Appl. Log..

Truth and Falsehood: An Inquiry into Generalized Logical Values

Heinrich Wansing, Yaroslav Shramko, H. Wansing, 2011 .

A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment

Yaroslav Shramko, 1998 .