Шкільняк, С.С.; Волковицький, Д.Б.
(Штучний інтелект, 2016)
Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та ...