Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems

Document History

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Propositional Equation Reasoning Systems -- 2001

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PERS.  Propositional Equation Reasoning Systems

Version 1.  SUO List

01.  http://suo.ieee.org/email/msg04187.html
02.  http://suo.ieee.org/email/msg04305.html
03.  http://suo.ieee.org/email/msg04413.html
04.  http://suo.ieee.org/email/msg04419.html
05.  http://suo.ieee.org/email/msg04422.html
06.  http://suo.ieee.org/email/msg04423.html
07.  http://suo.ieee.org/email/msg04432.html
08.  http://suo.ieee.org/email/msg04454.html
09.  http://suo.ieee.org/email/msg04455.html
10.  http://suo.ieee.org/email/msg04476.html
11.  http://suo.ieee.org/email/msg04510.html
12.  http://suo.ieee.org/email/msg04517.html
13.  http://suo.ieee.org/email/msg04525.html
14.  http://suo.ieee.org/email/msg04533.html
15.  http://suo.ieee.org/email/msg04536.html
16.  http://suo.ieee.org/email/msg04542.html
17.  http://suo.ieee.org/email/msg04546.html

Version 1.  Ontology List

01.  http://suo.ieee.org/ontology/msg01779.html
02.  http://suo.ieee.org/ontology/msg01897.html
03.  http://suo.ieee.org/ontology/msg02005.html
04.  http://suo.ieee.org/ontology/msg02011.html
05.  http://suo.ieee.org/ontology/msg02014.html
06.  http://suo.ieee.org/ontology/msg02015.html
07.  http://suo.ieee.org/ontology/msg02024.html
08.  http://suo.ieee.org/ontology/msg02046.html
09.  http://suo.ieee.org/ontology/msg02047.html
10.  http://suo.ieee.org/ontology/msg02068.html
11.  http://suo.ieee.org/ontology/msg02102.html
12.  http://suo.ieee.org/ontology/msg02109.html
13.  http://suo.ieee.org/ontology/msg02117.html
14.  http://suo.ieee.org/ontology/msg02125.html
15.  http://suo.ieee.org/ontology/msg02128.html
16.  http://suo.ieee.org/ontology/msg02134.html
17.  http://suo.ieee.org/ontology/msg02138.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Propositional Equation Reasoning Systems -- 2003

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PERS.  Propositional Equation Reasoning Systems

Version 2.  Ontology List

00.  http://suo.ieee.org/ontology/thrd17.html#04522
00.  http://suo.ieee.org/ontology/thrd17.html#04532

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

Version 2.  Arisbe List

01.  http://stderr.org/pipermail/arisbe/2003-February/001541.html
02.  http://stderr.org/pipermail/arisbe/2003-February/001542.html
03.  http://stderr.org/pipermail/arisbe/2003-February/001543.html
04.  http://stderr.org/pipermail/arisbe/2003-February/001544.html
05.  http://stderr.org/pipermail/arisbe/2003-February/001545.html
06.  http://stderr.org/pipermail/arisbe/2003-February/001546.html
07.  http://stderr.org/pipermail/arisbe/2003-February/001547.html
08.  http://stderr.org/pipermail/arisbe/2003-February/001548.html
09.  http://stderr.org/pipermail/arisbe/2003-February/001549.html
10.  http://stderr.org/pipermail/arisbe/2003-February/001550.html
11.  http://stderr.org/pipermail/arisbe/2003-February/001552.html
12.  http://stderr.org/pipermail/arisbe/2003-February/001553.html
13.  http://stderr.org/pipermail/arisbe/2003-February/001554.html
14.  http://stderr.org/pipermail/arisbe/2003-February/001555.html
15.  http://stderr.org/pipermail/arisbe/2003-February/001557.html
16.  http://stderr.org/pipermail/arisbe/2003-February/001559.html

Version 3.  Inquiry List

00.  http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
01.  http://stderr.org/pipermail/inquiry/2003-March/000126.html
02.  http://stderr.org/pipermail/inquiry/2003-March/000127.html
03.  http://stderr.org/pipermail/inquiry/2003-March/000128.html
04.  http://stderr.org/pipermail/inquiry/2003-March/000129.html
05.  http://stderr.org/pipermail/inquiry/2003-March/000130.html
06.  http://stderr.org/pipermail/inquiry/2003-March/000131.html
07.  http://stderr.org/pipermail/inquiry/2003-March/000132.html
08.  http://stderr.org/pipermail/inquiry/2003-March/000133.html
09.  http://stderr.org/pipermail/inquiry/2003-March/000134.html
10.  http://stderr.org/pipermail/inquiry/2003-March/000135.html
11.  http://stderr.org/pipermail/inquiry/2003-March/000136.html
12.  http://stderr.org/pipermail/inquiry/2003-March/000137.html
13.  http://stderr.org/pipermail/inquiry/2003-March/000138.html
14.  http://stderr.org/pipermail/inquiry/2003-March/000139.html
15.  http://stderr.org/pipermail/inquiry/2003-March/000140.html
16.  http://stderr.org/pipermail/inquiry/2003-March/000141.html
17.  http://stderr.org/pipermail/inquiry/2003-March/000142.html

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Propositional Equation Reasoning Systems -- 2004-2006

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PERS.  Propositional Equation Reasoning Systems

Version 4.  NKS Forum

00.  http://forum.wolframscience.com/showthread.php?threadid=297
01.  http://forum.wolframscience.com/showthread.php?postid=950#post950
02.  http://forum.wolframscience.com/showthread.php?postid=952#post952
03.  http://forum.wolframscience.com/showthread.php?postid=953#post953
04.  http://forum.wolframscience.com/showthread.php?postid=954#post954
05.  http://forum.wolframscience.com/showthread.php?postid=957#post957
06.  http://forum.wolframscience.com/showthread.php?postid=958#post958
07.  http://forum.wolframscience.com/showthread.php?postid=959#post959
08.  http://forum.wolframscience.com/showthread.php?postid=961#post961
09.  http://forum.wolframscience.com/showthread.php?postid=962#post962
10.  http://forum.wolframscience.com/showthread.php?postid=964#post964
11.  http://forum.wolframscience.com/showthread.php?postid=965#post965
12.  http://forum.wolframscience.com/showthread.php?postid=967#post967
13.  http://forum.wolframscience.com/showthread.php?postid=968#post968
14.  http://forum.wolframscience.com/showthread.php?postid=973#post973
15.  http://forum.wolframscience.com/showthread.php?postid=976#post976
16.  http://forum.wolframscience.com/showthread.php?postid=977#post977
17.  http://forum.wolframscience.com/showthread.php?postid=981#post981
18.  http://forum.wolframscience.com/showthread.php?postid=988#post988
19.  http://forum.wolframscience.com/showthread.php?postid=990#post990
20.  http://forum.wolframscience.com/showthread.php?postid=994#post994
21.  http://forum.wolframscience.com/showthread.php?postid=1003#post1003
22.  http://forum.wolframscience.com/showthread.php?postid=1005#post1005
23.  http://forum.wolframscience.com/showthread.php?postid=1015#post1015
24.  http://forum.wolframscience.com/showthread.php?postid=1022#post1022
25.  http://forum.wolframscience.com/showthread.php?postid=1025#post1025
26.  http://forum.wolframscience.com/showthread.php?postid=1031#post1031
27.  http://forum.wolframscience.com/showthread.php?postid=1220#post1220
28.  http://forum.wolframscience.com/showthread.php?postid=1224#post1224
29.  http://forum.wolframscience.com/showthread.php?postid=1227#post1227
30.  http://forum.wolframscience.com/showthread.php?postid=1228#post1228
31.  http://forum.wolframscience.com/showthread.php?postid=1232#post1232
32.  http://forum.wolframscience.com/showthread.php?postid=1249#post1249
33.  http://forum.wolframscience.com/showthread.php?postid=1262#post1262
34.  http://forum.wolframscience.com/showthread.php?postid=1265#post1265
35.  http://forum.wolframscience.com/showthread.php?postid=1273#post1273
36.

Version 4.  Inquiry List

00.  http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
00.  http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
00.  http://stderr.org/pipermail/inquiry/2006-January/thread.html#3364

01.  http://stderr.org/pipermail/inquiry/2004-April/001341.html
02.  http://stderr.org/pipermail/inquiry/2004-April/001342.html
03.  http://stderr.org/pipermail/inquiry/2004-April/001343.html
04.  http://stderr.org/pipermail/inquiry/2004-April/001344.html
05.  http://stderr.org/pipermail/inquiry/2004-April/001345.html
06.  http://stderr.org/pipermail/inquiry/2004-April/001346.html
07.  http://stderr.org/pipermail/inquiry/2004-April/001347.html
08.  http://stderr.org/pipermail/inquiry/2004-April/001348.html
09.  http://stderr.org/pipermail/inquiry/2004-April/001349.html
10.  http://stderr.org/pipermail/inquiry/2004-April/001350.html
11.  http://stderr.org/pipermail/inquiry/2004-April/001351.html
12.  http://stderr.org/pipermail/inquiry/2004-April/001352.html
13.  http://stderr.org/pipermail/inquiry/2004-April/001353.html
14.  http://stderr.org/pipermail/inquiry/2004-April/001354.html
15.  http://stderr.org/pipermail/inquiry/2004-April/001355.html
16.  http://stderr.org/pipermail/inquiry/2004-April/001356.html
17.  http://stderr.org/pipermail/inquiry/2004-April/001357.html
18.  http://stderr.org/pipermail/inquiry/2004-April/001358.html
19.  http://stderr.org/pipermail/inquiry/2004-April/001359.html
20.  http://stderr.org/pipermail/inquiry/2004-April/001360.html
21.  http://stderr.org/pipermail/inquiry/2004-April/001361.html
22.  http://stderr.org/pipermail/inquiry/2004-April/001362.html
23.  http://stderr.org/pipermail/inquiry/2004-April/001363.html
24.  http://stderr.org/pipermail/inquiry/2004-April/001364.html
25.  http://stderr.org/pipermail/inquiry/2004-April/001365.html
26.  http://stderr.org/pipermail/inquiry/2004-April/001366.html
27.  http://stderr.org/pipermail/inquiry/2004-April/001389.html
28.  http://stderr.org/pipermail/inquiry/2004-April/001390.html
29.  http://stderr.org/pipermail/inquiry/2004-May/001391.html
30.  http://stderr.org/pipermail/inquiry/2004-May/001392.html
31.  http://stderr.org/pipermail/inquiry/2004-May/001393.html
32.  http://stderr.org/pipermail/inquiry/2004-May/001394.html
33.  http://stderr.org/pipermail/inquiry/2004-May/001395.html
34.  http://stderr.org/pipermail/inquiry/2004-May/001396.html
35.  http://stderr.org/pipermail/inquiry/2004-May/001398.html
36.  http://stderr.org/pipermail/inquiry/2006-January/003364.html
37.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o