Edit Profile (opens in new tab) Shramko, Yaroslav V. Co-Author Distance Author ID: shramko.yaroslav-v Published as: Shramko, Yaroslav; Shramko, Ya. V.; Shramko, Yaroslav V. more...less 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 all top 5 Co-Authors 22 single-authored 14 Wansing, Heinrich Theodor 4 Zaitsev, Dmitry V. 3 Kamide, Norihiro 2 Belikov, Aleksander Aleksandrovich 1 Dunn, Jon Michael 1 Scheffler, Uwe 1 Takenaka, Tatsutoshi all top 5 Serials 10 Studia Logica 5 Logic and Logical Philosophy 2 Journal of Philosophical Logic 2 Synthese 2 Journal of Logic and Computation 2 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications 1 Logique et Analyse. Nouvelle Série 1 Bulletin of the Section of Logic 1 Annals of Pure and Applied Logic 1 Theoria. Segunda Epoca 1 Archive for Mathematical Logic 1 Journal of Logic, Language and Information 1 Bulletin of the IGPL 1 Trends in Logic – Studia Logica Library 1 Logische Philosophie 1 Logica Universalis 1 The Review of Symbolic Logic Fields 44 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 28 Serials 33 Studia Logica 13 Journal of Philosophical Logic 11 Journal of Applied Non-Classical Logics 8 Logic and Logical Philosophy 8 Logica Universalis 5 Synthese 5 Journal of Logic, Language and Information 5 Journal of Applied Logic 5 The Review of Symbolic Logic 4 Notre Dame Journal of Formal Logic 4 Logicheskie Issledovaniya 3 Bulletin of the Section of Logic 3 Annals of Pure and Applied Logic 2 Fuzzy Sets and Systems 2 Theoretical Computer Science 2 History and Philosophy of Logic 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Multiple-Valued Logic and Soft Computing 2 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal 1 Algebra Universalis 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Archive for Mathematical Logic 1 The Bulletin of Symbolic Logic 1 Topoi 1 Foundations of Science 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 European Journal of Mathematics all top 5 Cited in 9 Fields 145 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 7 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 2 Category theory; homological algebra (18-XX) 1 General algebraic systems (08-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year