The Theory of Model Dimensions applied t
β
Ranulph Glanville; Peter Jackson
π
Article
π
1983
π
Elsevier Science
β 627 KB
In this article we elaborate a working (computerized) implementation of a simplified version of the "Theory of Model Dimensions", which is exemplified in operation through a syllogism solution. The peculiarities of the program embodying this implementation are two: first it uses the very limited ope