SUO: Re: Examples! Examples! Examples!
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EEE. Note 16
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Last time I made reference to a set of axioms $A$(=) that are
here being interpreted as defining logical equivalence for the
!P!-parameterized family of formal languages !C!(!P!) that are
here being interpreted as denoting the propositions of zeroth
order logic. These axioms derive from the formal systems of
Charles Sanders Peirce and George Spencer Brown, and there
is an account of their nature and use to be found here:
PERS. Propositional Equation Reasoning Systems
01. http://suo.ieee.org/ontology/msg04522.html
02. http://suo.ieee.org/ontology/msg04523.html
03. http://suo.ieee.org/ontology/msg04524.html
04. http://suo.ieee.org/ontology/msg04525.html
05. http://suo.ieee.org/ontology/msg04526.html
06. http://suo.ieee.org/ontology/msg04527.html
07. http://suo.ieee.org/ontology/msg04528.html
08. http://suo.ieee.org/ontology/msg04529.html
09. http://suo.ieee.org/ontology/msg04530.html
10. http://suo.ieee.org/ontology/msg04531.html
11. http://suo.ieee.org/ontology/msg04532.html
12. http://suo.ieee.org/ontology/msg04533.html
13. http://suo.ieee.org/ontology/msg04534.html
14. http://suo.ieee.org/ontology/msg04536.html
15. http://suo.ieee.org/ontology/msg04537.html
16. http://suo.ieee.org/ontology/msg04538.html
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o