On Some Properties of Several Proof Systems for 2-valued Propositional Logic.

Autor:	Petrosyan, G. V.
Předmět:	EVIDENCE LOGIC PLEONASM SUBSTITUTIONS (Mathematics)
Zdroj:	National Academy of Sciences of Armenia Reports / Doklady Nacionalnaâ Akademiâ Nauk Armenii; 2021, Vol. 121 Issue 1, p13-19, 7p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu