12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 13:44, 3 June 2009
, 13:44, 3 June 2009→Zeroth Order Logic: * thread anchors
Line 6,879:
Line 6,879:
# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
−====Functional Conception Of Quantificational Logic====
+====Functional Conception Of Quantificational Logic (Dec 2001)====
+* http://suo.ieee.org/ontology/thrd38.html#03562
# http://suo.ieee.org/ontology/msg03562.html
# http://suo.ieee.org/ontology/msg03562.html
# http://suo.ieee.org/ontology/msg03563.html
# http://suo.ieee.org/ontology/msg03563.html
Line 6,891:
Line 6,892:
# http://suo.ieee.org/ontology/msg03583.html
# http://suo.ieee.org/ontology/msg03583.html
−====Propositional Equation Reasoning Systems====
+====Propositional Equation Reasoning Systems (Mar 2001)====
+* http://suo.ieee.org/email/thrd186.html#04187
# http://suo.ieee.org/email/msg04187.html
# http://suo.ieee.org/email/msg04187.html
# http://suo.ieee.org/email/msg04305.html
# http://suo.ieee.org/email/msg04305.html
Line 6,931:
Line 6,933:
====Zeroth Order Logic====
====Zeroth Order Logic====
+*
# http://suo.ieee.org/email/msg01246.html
# http://suo.ieee.org/email/msg01246.html
# http://suo.ieee.org/email/msg01406.html
# http://suo.ieee.org/email/msg01406.html