Досліджено нові програмно-орієнтовані логічні формалізми – логіки часткових предикатів з операцією (композицією) предикатного доповненням, названі LC. Подібні операції використовуються в різних варіантах логік Флойда – ...