Archive for June 3rd, 2007
–> http://multiforms.netfirms.com/multiforms_1.html#download
[...] A Prolog Theorem Prover simplifying Logic, by using Multiple Forms The strategy of this Prolog program (“mflogic.exe”, which you can download) is essentially the same as the strategy of a (human) theorem-prover, who knows the Axioms of Multiple Forms: As much as possible, all logic formulae are progressively reduced, by cancelling out [...]
Filed under: Multiple Form Logic | Leave a Comment
Had a closer look at the video Entailments_Context.mov of Dr Paul Pangaro teaching Cybernetics and Pask’s Entailment Meshes at Stanford:
Coherence
Unit of memory
Filed under: Entailment Mesh | Leave a Comment
The RSS feed of this blog- An Other Space
- Jessicatz Fairymeadow’s Pile Implementation
- An open public letter to the “Pile Systems” team (Revisited)
- TVs, Tops, and the primary (primordial) self-reference
- Junctions, Perl 6, Haskell, …
- The Prolog Theorem Prover “mflogic.exe”
- Entailments_Context.mov @ 00:03:30
- Pask’s Entailment Meshes
- Multiple Form Logic revisited (after one year)
- Ralf Westphal’s “Intuitive Data Model”
-
Recent Comments
