Concepedia

Yaroslav Shramko

YS

15

Publications

539

Citations

12

H-Index

2001

Active since

Affiliations

Kryvyi Rih State Pedagogical University(Current)

Technische Universität Dresden

Pedagogical University

Lomonosov Moscow State University

Teikyo University

Yaroslav Shramko is an author at Kryvyi Rih State Pedagogical University specializing in automated reasoning, semantics, and engineering.

Top concepts

Automated ReasoningSemanticsLanguageEngineeringFormal MethodsLinguisticsEpistemologySyntaxSocial SciencesCognitive Science

Publications per year

2001–2020

15

Publications

15

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

Yaroslav Shramko, Heinrich Wansing · Journal of Philosophical Logic · 2005 · 106 citations

Applied Logic, Computational Logic, Engineering +9

The Trilattice of Constructive Truth Values

Yaroslav Shramko · Journal of Logic and Computation · 2001 · 61 citations

Non-classical Logic, Constructive Mathematics, Paraconsistent Logic +12

Psychology in Physical Language

Rudolf Carnap, Yaroslav Shramko · Russian Journal of Philosophical Sciences · 2013 · 59 citations

Psycholinguistics, Unified Science, Psychology +20

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

Yaroslav Shramko · Studia Logica · 2005 · 53 citations

Intuitionistic Logic, Non-classical Logic, Scientific Research +8

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

Heinrich Wansing, Yaroslav Shramko · Studia Logica · 2008 · 43 citations

Non-classical Logic, Automated Reasoning, Logical System +4

Rows per page

1–5 of 15