×

zbMATH — the first resource for mathematics

Shramko, Yaroslav V.

Compute Distance To:
Author ID: shramko.yaroslav-v Recent zbMATH articles by "Shramko, Yaroslav V."
Published as: Shramko, Ya. V.; Shramko, Yaroslav; Shramko, Yaroslav V.
Homepage: https://kdpu.edu.ua/shramko/ys.htm
External Links: MGP · ORCID · dblp
Documents Indexed: 35 Publications since 1994, including 2 Books
Reviewing Activity: 32 Reviews

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 218 times in 102 Documents Cited by Year
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
39
2005
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
33
2011
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
27
2001
Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302
Shramko, Yaroslav; Wansing, Heinrich
23
2006
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
18
2005
Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026
Wansing, Heinrich; Shramko, Yaroslav
12
2008
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025
Wansing, Heinrich; Shramko, Yaroslav
9
2008
First-degree entailment and its relatives. Zbl 1417.03182
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
7
2017
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
6
2016
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
Bi-facial truth: a case for generalized truth values. Zbl 1329.03030
Zaitsev, Dmitry; Shramko, Yaroslav
4
2013
The slingshot argument and sentential identity. Zbl 1178.03012
Shramko, Yaroslav; Wansing, Heinrich
4
2009
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
3
2017
Truth, falsehood, information and beyond: the American plan generalized. Zbl 1439.03054
Shramko, Yaroslav
3
2016
Editorial introduction. Truth values. I. Zbl 1163.03300
Shramko, Yaroslav; Wansing, Heinrich
3
2009
Entailment relations and/as truth values. Zbl 1286.03088
Shramko, Yaroslav; Wansing, Heinrich
3
2007
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
2
2019
Editorial introduction. Truth values. II. Zbl 1177.03005
Shramko, Yaroslav; Wansing, Heinrich
2
2009
Semantics for constructive negations. Zbl 0997.03004
Shramko, Yaroslav
2
2001
Erratum to: “Suszko’s thesis, inferential many-valuedness, and the notion of a logical system”. Zbl 1140.03309
Wansing, Heinrich; Shramko, Yaroslav
1
2008
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.
1
2004
A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment. Zbl 1009.03017
Shramko, Yaroslav
1
1998
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
2
2019
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
9
2017
First-degree entailment and its relatives. Zbl 1417.03182
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
7
2017
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
3
2017
A modal translation for dual-intuitionistic logic. Zbl 1388.03023
Shramko, Yaroslav
6
2016
Truth, falsehood, information and beyond: the American plan generalized. Zbl 1439.03054
Shramko, Yaroslav
3
2016
Bi-facial truth: a case for generalized truth values. Zbl 1329.03030
Zaitsev, Dmitry; Shramko, Yaroslav
4
2013
Truth and falsehood. An inquiry into generalized logical values. Zbl 1251.03002
Shramko, Yaroslav; Wansing, Heinrich
33
2011
The slingshot argument and sentential identity. Zbl 1178.03012
Shramko, Yaroslav; Wansing, Heinrich
4
2009
Editorial introduction. Truth values. I. Zbl 1163.03300
Shramko, Yaroslav; Wansing, Heinrich
3
2009
Editorial introduction. Truth values. II. Zbl 1177.03005
Shramko, Yaroslav; Wansing, Heinrich
2
2009
Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Zbl 1189.03026
Wansing, Heinrich; Shramko, Yaroslav
12
2008
Harmonious many-valued propositional logics and the logic of computer networks. Zbl 1229.03025
Wansing, Heinrich; Shramko, Yaroslav
9
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
23
2006
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
39
2005
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
18
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.
1
2004
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
27
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
all top 5

Cited by 83 Authors

23 Wansing, Heinrich Theodor
15 Kamide, Norihiro
13 Shramko, Yaroslav V.
5 Odintsov, Sergei P.
5 Petrukhin, Yaroslav Igorevich
4 Pailos, Federico Matias
3 Muskens, Reinhard A.
3 Omori, Hitoshi
3 Turunen, Esko
3 Wintein, Stefan
3 Zaitsev, Dmitry A.
2 Belikov, Aleksander Aleksandrovich
2 Caleiro, Carlos
2 Chiffi, Daniele
2 Dunn, Jon Michael
2 Égré, Paul
2 Estrada-González, Luis
2 Grigor’ev, Oleg
2 Hazen, Allen P.
2 Krysztofiak, Wojciech
2 Marcos, João
2 Ripley, David
2 Rodríguez, J. Tinguaro
2 Schang, Fabien
2 Shangin, Vasily
2 Skurt, Daniel
2 Szmuc, Damian Enrique
1 Arrazola Ramírez, José Ramón Enrique
1 Avron, Arnon
1 Barrio, Eduardo Alejandro
1 Başkent, Can
1 Beall, Jc
1 Bellin, Gianluigi
1 Béziau, Jean-Yves
1 Blasio, Carolina
1 Borja Macías, Verónica
1 Brady, Ross Thomas
1 Cabrer, Leonardo Manuel
1 Camrud, Caleb
1 Carballido, José Luis
1 Carrara, Massimiliano
1 Castellanos, José Abel
1 Chemla, Emmanuel
1 Cobreros, Pablo
1 Czelakowski, Janusz
1 Da Ré, Bruno
1 Drobyshevich, Sergeĭ Andreevich
1 Ferguson, Thomas Macaulay
1 Font, Josep Maria
1 French, Rohan
1 Gaines, Brian R.
1 Humberstone, Lloyd
1 Kapsner, Andreas
1 Kozhemiachenko, Daniil
1 Malinowski, Grzegorz
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 Priest, Graham
1 Priestley, Hilary A.
1 Rivieccio, Umberto
1 Robles, Gemma
1 Ruan, Da
1 Sano, Katsuhiko
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
1 Volpe, Marco
1 Zaitsev, Dmitry V.
1 Zepeda, Claudia
1 Zhou, Chunlai
1 Zohar, Yoni

Citations by Year