Archive for May 19th, 2006
Multiple Form Logic
19May06
A is an entire expression, "X#1,Y".
See Stathis 2003 – Multiplicity in Multiple Form Logic :
The Axioms of Multiple Form Logic:
(A1) 1 , X = 1
("All is One, and All contains any distinction")
(A2) A # X # X = A
("A distinction distinguishing itself, is no distinction")
(A3) A [...]
Filed under: LoF, Logic, Pile | 6 Comments
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
