Zobrazeno 1 - 1
of 1
pro vyhledávání: '"KALMAR'S METHOD"'
Autor:
Ivlev, Yu
Publikováno v:
Логические исследования.
Quasi-matrix logic is based on the generalization of the principles of classical logic: bivalency (a proposition take values from the domain {t (truth); f (falsity)}); consistency (a proposition can not take on both values); excluded middle (a propos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::c937f6be22a23dc586caeca822de2383
http://cyberleninka.ru/article_covers/15558268.png
http://cyberleninka.ru/article_covers/15558268.png
