PAP: a logic programming system based on a constructive logic
P Miglioli, U Moscato, M Ornaghi - … Trento, Italy, December 15–19, 1986 …, 2005 - Springer
P Miglioli, U Moscato, M Ornaghi
Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 2005•Springer… In this paper we present the main features of the logic programming system named PAP (Proofs
as Programs) [5], we are developing in our Department. … The use of constructive systems
in Computer Science has been proposed by various authors; we quote, eg [1,8,9,10,12,13,16,17]. …
CDP and CED are the analogous of disjunction property and explicit definability property of
constructive logics [19]; so, we can say that constructive validity selects a class of classicall[
~rovable formulas which satisfies the "constructive" prope~tles-CDP ann C--ED~ The "constructive …
as Programs) [5], we are developing in our Department. … The use of constructive systems
in Computer Science has been proposed by various authors; we quote, eg [1,8,9,10,12,13,16,17]. …
CDP and CED are the analogous of disjunction property and explicit definability property of
constructive logics [19]; so, we can say that constructive validity selects a class of classicall[
~rovable formulas which satisfies the "constructive" prope~tles-CDP ann C--ED~ The "constructive …
In this paper we present the main features of the logic programming system named PAP (Proofs as Programs)[5], we are developing in our Department.
Springer
Showing the best result for this search. See all results