[Arisbe] Transitivity & Triadicity

[Jon Awbrey]

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

In preparing to write something on this theme, I discovered that I had
already written up an exposition that seems to bear some relation to it.
I have been converting that to wiki format at the GetMeta or GetWiki site:

http://www.getwiki.net/wiki.php?title=Propositional_Equation_Reasoning_Systems#Variations_on_a_theme_of_transitivity

It's still a bit rambling at present, but will hopefully become clearer over time.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
wikinfo: http://wikinfo.org/wiki.php?title=User:Jon_Awbrey
http://www.getwiki.net/wiki.php?title=User_talk:Jon_Awbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o