Mints type deductive calculi for logic programming
From MaRDI portal
Publication:1192340
DOI10.1016/0168-0072(92)90065-8zbMath0761.03011OpenAlexW2021055502MaRDI QIDQ1192340
Publication date: 27 September 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(92)90065-8
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
First-order theories for pure Prolog programs with negation ⋮ A transformation of propositional Prolog programs into classical logic
Cites Work