Секвенциальная аксиоматизация паранормальной логики PContPComp

В.М. Попов
2011 Logical Investigations  
Представлено секвенциальное исчисление, аксиоматизирующее паранормальную логику PContPComp.
doi:10.21146/2074-1472-2011-17-0-240-245 fatcat:xonyyjtc5bcgxgtwvwrxhptv3u