𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive view of anger, aggression, and violence

✍ Scribed by Chris M. Meadows

Book ID
105304283
Publisher
Springer
Year
1971
Tongue
English
Weight
883 KB
Volume
22
Category
Article
ISSN
0031-2789

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive view of PROLOG
A constructive view of PROLOG
✍ Damjan Bojadziev πŸ“‚ Article πŸ“… 1986 πŸ› Elsevier Science 🌐 English βš– 442 KB

A constructive rationalization of PROLOG is presented, covering the logical form of definite clause programs and the role of negative (goal) clauses. This view is developed from the idea, taken from set theory, that a constructive theory can be obtained if classical reasoning is confined to a constr