×

Shramko, Yaroslav V.

Author ID: shramko.yaroslav-v Recent zbMATH articles by "Shramko, Yaroslav V."
Published as: Shramko, Yaroslav; Shramko, Ya. V.; Shramko, Yaroslav V.
Homepage: https://kdpu.edu.ua/shramko/ys.htm
External Links: MGP · ORCID · dblp
Documents Indexed: 44 Publications since 1994, including 2 Books
Reviewing Activity: 39 Reviews
Co-Authors: 7 Co-Authors with 22 Joint Publications
91 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 327 times in 147 Documents Cited by Year
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
50
2005
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
46
2011
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
37
2001
Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302
Shramko, Yaroslav; Wansing, Heinrich
28
2006
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
24
2005
Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026
Wansing, Heinrich; Shramko, Yaroslav
18
2008
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
15
2017
Truth, falsehood, information and beyond: the American plan generalized. Zbl 1439.03054
Shramko, Yaroslav
14
2016
First-degree entailment and its relatives. Zbl 1417.03182
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
13
2017
The Fmla-Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins. Zbl 1457.03051
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
10
2019
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025
Wansing, Heinrich; Shramko, Yaroslav
8
2008
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
8
2016
Bi-facial truth: a case for generalized truth values. Zbl 1329.03030
Zaitsev, Dmitry; Shramko, Yaroslav
7
2013
The slingshot argument and sentential identity. Zbl 1178.03012
Shramko, Yaroslav; Wansing, Heinrich
6
2009
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
5
2017
Editorial introduction. Truth values. I. Zbl 1163.03300
Shramko, Yaroslav; Wansing, Heinrich
4
2009
Editorial introduction. Truth values. II. Zbl 1177.03005
Shramko, Yaroslav; Wansing, Heinrich
3
2009
First-degree entailment and structural reasoning. Zbl 1469.03059
Shramko, Yaroslav
3
2019
Entailment relations and/as truth values. Zbl 1286.03088
Shramko, Yaroslav; Wansing, Heinrich
3
2007
Logical entailment and marked values. Zbl 1073.03525
Zajtsev, D. V.; Shramko, Ya. V.
2
2004
Semantics for constructive negations. Zbl 0997.03004
Shramko, Yaroslav
2
2001
The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021
Shramko, Yaroslav
2
2014
Dual-Belnap logic and anything but falsehood. Zbl 1513.03058
Shramko, Yaroslav
2
2019
Hilbert-style axiomatization of first-degree entailment and a family of its extensions. Zbl 1490.03015
Shramko, Yaroslav
2
2021
A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment. Zbl 1009.03017
Shramko, Yaroslav
1
1998
Logic of computer networks. Zbl 1102.03025
Wansing, H.; Shramko, Ya. V.
1
2005
Erratum to: “Suszko’s thesis, inferential many-valuedness, and the notion of a logical system”. Zbl 1140.03309
Wansing, Heinrich; Shramko, Yaroslav
1
2008
A general information semantics for systems of the logical consequence relation. (Eine generelle Informationssemantik für Systeme der logischen Folgebeziehung.) Zbl 1007.03505
Scheffler, Uwe; Shramko, Yaroslav
1
1998
The nature of entailment: an informational approach. Zbl 1525.03082
Shramko, Yaroslav; Wansing, Heinrich
1
2021
First-degree entailment and binary consequence systems. Zbl 1513.03050
Shramko, Yaroslav
1
2020
Hilbert-style axiomatization of first-degree entailment and a family of its extensions. Zbl 1490.03015
Shramko, Yaroslav
2
2021
The nature of entailment: an informational approach. Zbl 1525.03082
Shramko, Yaroslav; Wansing, Heinrich
1
2021
First-degree entailment and binary consequence systems. Zbl 1513.03050
Shramko, Yaroslav
1
2020
The Fmla-Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins. Zbl 1457.03051
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
10
2019
First-degree entailment and structural reasoning. Zbl 1469.03059
Shramko, Yaroslav
3
2019
Dual-Belnap logic and anything but falsehood. Zbl 1513.03058
Shramko, Yaroslav
2
2019
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
15
2017
First-degree entailment and its relatives. Zbl 1417.03182
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
13
2017
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
5
2017
Truth, falsehood, information and beyond: the American plan generalized. Zbl 1439.03054
Shramko, Yaroslav
14
2016
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
8
2016
The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021
Shramko, Yaroslav
2
2014
Bi-facial truth: a case for generalized truth values. Zbl 1329.03030
Zaitsev, Dmitry; Shramko, Yaroslav
7
2013
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
46
2011
The slingshot argument and sentential identity. Zbl 1178.03012
Shramko, Yaroslav; Wansing, Heinrich
6
2009
Editorial introduction. Truth values. I. Zbl 1163.03300
Shramko, Yaroslav; Wansing, Heinrich
4
2009
Editorial introduction. Truth values. II. Zbl 1177.03005
Shramko, Yaroslav; Wansing, Heinrich
3
2009
Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026
Wansing, Heinrich; Shramko, Yaroslav
18
2008
Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025
Wansing, Heinrich; Shramko, Yaroslav
8
2008
Erratum to: “Suszko’s thesis, inferential many-valuedness, and the notion of a logical system”. Zbl 1140.03309
Wansing, Heinrich; Shramko, Yaroslav
1
2008
Entailment relations and/as truth values. Zbl 1286.03088
Shramko, Yaroslav; Wansing, Heinrich
3
2007
Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302
Shramko, Yaroslav; Wansing, Heinrich
28
2006
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
50
2005
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
24
2005
Logic of computer networks. Zbl 1102.03025
Wansing, H.; Shramko, Ya. V.
1
2005
Logical entailment and marked values. Zbl 1073.03525
Zajtsev, D. V.; Shramko, Ya. V.
2
2004
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
37
2001
Semantics for constructive negations. Zbl 0997.03004
Shramko, Yaroslav
2
2001
A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment. Zbl 1009.03017
Shramko, Yaroslav
1
1998
A general information semantics for systems of the logical consequence relation. (Eine generelle Informationssemantik für Systeme der logischen Folgebeziehung.) Zbl 1007.03505
Scheffler, Uwe; Shramko, Yaroslav
1
1998
all top 5

Cited by 104 Authors

25 Wansing, Heinrich Theodor
21 Kamide, Norihiro
17 Shramko, Yaroslav V.
10 Petrukhin, Yaroslav Igorevich
6 Pailos, Federico Matias
5 Estrada-González, Luis
5 Odintsov, Sergei P.
5 Zaitsev, Dmitry V.
4 Grigor’ev, Oleg Mikhaĭlovich
3 Chiffi, Daniele
3 Devyatkin, Leonid Yur’evich
3 Égré, Paul
3 Muskens, Reinhard A.
3 Omori, Hitoshi
3 Ripley, David
3 Szmuc, Damian Enrique
3 Turunen, Esko
3 Wintein, Stefan
2 Avron, Arnon
2 Belikov, Aleksander Aleksandrovich
2 Caleiro, Carlos
2 Chemla, Emmanuel
2 Da Ré, Bruno
2 Dunn, Jon Michael
2 Ferguson, Thomas Macaulay
2 Hazen, Allen P.
2 Kapsner, Andreas
2 Kozhemiachenko, Daniil
2 Krysztofiak, Wojciech
2 Marcos, João
2 Přenosil, Adam
2 Ramírez-Cámara, Elisángela
2 Rivieccio, Umberto
2 Robles, Gemma
2 Rodríguez, J. Tinguaro
2 Schang, Fabien
2 Shangin, Vasily
2 Skurt, Daniel
1 Arrazola Ramírez, José Ramón Enrique
1 Ayhan, Sara
1 Barrio, Eduardo Alejandro
1 Başkent, Can
1 Beall, Jc
1 Belikov, Alex
1 Bellin, Gianluigi
1 Ben-Naim, Jonathan
1 Béziau, Jean-Yves
1 Bílková, Marta
1 Blasio, Carolina
1 Borja Macías, Verónica
1 Brady, Ross Thomas
1 Cabrer, Leonardo Manuel
1 Carballido, José Luis
1 Carrara, Massimiliano
1 Castellanos, José Abel
1 Cobreros, Pablo
1 Czelakowski, Janusz
1 Drobyshevich, Sergeĭ Andreevich
1 Fitting, Melvin Chris
1 Font, Josep Maria
1 Francez, Nissim
1 French, Rohan
1 Frittella, Sabine
1 Gaines, Brian R.
1 Humberstone, Lloyd
1 Indrzejczak, Andrzej
1 Konikowska, Beata
1 Koutras, Costas D.
1 Kubyshkina, Ekaterina
1 Majer, Ondrej
1 Maksudova-Eliseeva, Gala Valer’evna
1 Malinowski, Grzegorz
1 Méndez, José M.
1 Menti, Alessandro
1 Montero, Javier
1 Onishi, Takuro
1 Osorio Galindo, Mauricio
1 Osorio, Mauricio A.
1 Öztürk, Meltem
1 Paoli, Francesco
1 Pelletier, Francis Jeffry
1 Pietarinen, Ahti-Veikko
1 Pitsiladis, Georgios V.
1 Priest, Graham
1 Priestley, Hilary A.
1 Ruan, Da
1 Sano, Katsuhiko
1 Schurz, Gerhard
1 Shtakser, Gennady
1 Shulman, Michael A.
1 Szałas, Andrzej
1 Takano, Mitio
1 Teijeiro, Paula
1 Tennant, Neil W.
1 Trafford, James
1 Tranchini, Luca
1 Tsoukiàs, Alexis
1 Vakarelov, Dimiter
1 van Rooy, Robert
1 Viganò, Luca
...and 4 more Authors

Citations by Year