Petrukhin, Yaroslav, Россия
-
Том 16, № 1-2 (2018) - Символическая логика и основания математики
Natural deduction for Kleene’s three- and four-valued logics
Аннотация PDF (English) -
Том 16, № 1-2 (2018) - Символическая логика и основания математики
Simplified Kripke Style Semantics without Possible Worlds for some Modal Logics
Аннотация PDF (English) -
Том 16, № 1-2 (2018) - Символическая логика и основания математики
Natural Deduction Rules for Tomova’s Natural Implications
Аннотация PDF (English)
ISSN: 2223-3954