Open AccessСеквенциальная аксиоматизация паранормальной логики PContPComp
Author(s) -
В. М. Попов
Publication year - 2011
Publication title -
logičeskie issledovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2011-17-0-240-245
Subject(s) - computer science
Представлено секвенциальное исчисление, аксиоматизирующее паранормальную логику PContPComp.