This site is supported by donations to The OEIS Foundation.
Talk:Futures Of Logical Graphs
Contents
Futures Of Logical Graphs • Document History
2005 • Inquiry List • Futures Of Logical Graphs • Exposition
- http://web.archive.org/web/20150224133200/http://stderr.org/pipermail/inquiry/2005-October/thread.html#3104
- http://web.archive.org/web/20140930152003/http://stderr.org/pipermail/inquiry/2005-November/thread.html#3165
- http://web.archive.org/web/20120204201818/http://stderr.org/pipermail/inquiry/2005-October/003104.html
- http://web.archive.org/web/20120204201435/http://stderr.org/pipermail/inquiry/2005-October/003105.html
- http://web.archive.org/web/20120204201443/http://stderr.org/pipermail/inquiry/2005-October/003106.html
- http://web.archive.org/web/20120204201301/http://stderr.org/pipermail/inquiry/2005-October/003107.html
- http://web.archive.org/web/20120206123011/http://stderr.org/pipermail/inquiry/2005-October/003113.html
- http://web.archive.org/web/20120206122552/http://stderr.org/pipermail/inquiry/2005-October/003114.html
- http://web.archive.org/web/20120206122844/http://stderr.org/pipermail/inquiry/2005-October/003115.html
- http://web.archive.org/web/20120206122814/http://stderr.org/pipermail/inquiry/2005-October/003118.html
- http://web.archive.org/web/20120204201627/http://stderr.org/pipermail/inquiry/2005-October/003119.html
- http://web.archive.org/web/20120206122723/http://stderr.org/pipermail/inquiry/2005-October/003120.html
- http://web.archive.org/web/20120204201412/http://stderr.org/pipermail/inquiry/2005-October/003121.html
- http://web.archive.org/web/20120206122546/http://stderr.org/pipermail/inquiry/2005-October/003131.html
- http://web.archive.org/web/20120204201617/http://stderr.org/pipermail/inquiry/2005-October/003132.html
- http://web.archive.org/web/20120204201603/http://stderr.org/pipermail/inquiry/2005-October/003133.html
- http://web.archive.org/web/20120206122820/http://stderr.org/pipermail/inquiry/2005-October/003134.html
- http://web.archive.org/web/20120206122831/http://stderr.org/pipermail/inquiry/2005-October/003141.html
- http://web.archive.org/web/20120206122929/http://stderr.org/pipermail/inquiry/2005-October/003144.html
- http://web.archive.org/web/20120206122619/http://stderr.org/pipermail/inquiry/2005-October/003149.html
- http://web.archive.org/web/20120204201609/http://stderr.org/pipermail/inquiry/2005-October/003153.html
- http://web.archive.org/web/20120204201750/http://stderr.org/pipermail/inquiry/2005-October/003157.html
- http://web.archive.org/web/20120204201806/http://stderr.org/pipermail/inquiry/2005-October/003160.html
- http://web.archive.org/web/20140930153001/http://stderr.org/pipermail/inquiry/2005-November/003165.html
- http://web.archive.org/web/20140930153026/http://stderr.org/pipermail/inquiry/2005-November/003170.html
- http://web.archive.org/web/20140930153404/http://stderr.org/pipermail/inquiry/2005-November/003171.html
- http://web.archive.org/web/20140930153429/http://stderr.org/pipermail/inquiry/2005-November/003181.html
- http://web.archive.org/web/20140930153454/http://stderr.org/pipermail/inquiry/2005-November/003197.html
- http://web.archive.org/web/20140930153517/http://stderr.org/pipermail/inquiry/2005-November/003199.html
- http://web.archive.org/web/20140930153602/http://stderr.org/pipermail/inquiry/2005-November/003200.html
- http://web.archive.org/web/20120210073504/http://stderr.org/pipermail/inquiry/2005-November/003203.html
- http://web.archive.org/web/20070816114430/http://stderr.org/pipermail/inquiry/2005-November/003204.html
- http://web.archive.org/web/20120229142056/http://stderr.org/pipermail/inquiry/2005-November/003205.html
- http://web.archive.org/web/20081121105842/http://stderr.org/pipermail/inquiry/2005-November/003206.html
- http://web.archive.org/web/20061014003447/http://stderr.org/pipermail/inquiry/2005-November/003210.html
- http://web.archive.org/web/20120229142342/http://stderr.org/pipermail/inquiry/2005-November/003212.html
- http://web.archive.org/web/20061014002842/http://stderr.org/pipermail/inquiry/2005-November/003214.html
- http://web.archive.org/web/20061014002810/http://stderr.org/pipermail/inquiry/2005-November/003217.html
- http://web.archive.org/web/20081202113911/http://stderr.org/pipermail/inquiry/2005-November/003220.html
- http://web.archive.org/web/20081202125655/http://stderr.org/pipermail/inquiry/2005-November/003221.html
- http://web.archive.org/web/20081202124413/http://stderr.org/pipermail/inquiry/2005-November/003224.html
- http://web.archive.org/web/20081202114349/http://stderr.org/pipermail/inquiry/2005-November/003226.html
- http://web.archive.org/web/20081202125124/http://stderr.org/pipermail/inquiry/2005-November/003227.html
- http://web.archive.org/web/20081202123733/http://stderr.org/pipermail/inquiry/2005-November/003228.html
- http://web.archive.org/web/20081202110401/http://stderr.org/pipermail/inquiry/2005-November/003229.html
- http://web.archive.org/web/20081202115438/http://stderr.org/pipermail/inquiry/2005-November/003230.html
- http://web.archive.org/web/20120210072838/http://stderr.org/pipermail/inquiry/2005-November/003231.html
- http://web.archive.org/web/20120210073210/http://stderr.org/pipermail/inquiry/2005-November/003233.html
- http://web.archive.org/web/20120229141918/http://stderr.org/pipermail/inquiry/2005-November/003235.html
- http://web.archive.org/web/20081202120104/http://stderr.org/pipermail/inquiry/2005-November/003236.html
- http://web.archive.org/web/20120229142553/http://stderr.org/pipermail/inquiry/2005-November/003237.html
- http://web.archive.org/web/20081202102732/http://stderr.org/pipermail/inquiry/2005-November/003238.html
- http://web.archive.org/web/20120210072952/http://stderr.org/pipermail/inquiry/2005-November/003240.html
- http://web.archive.org/web/20081202105534/http://stderr.org/pipermail/inquiry/2005-November/003241.html
- http://web.archive.org/web/20120210073248/http://stderr.org/pipermail/inquiry/2005-November/003242.html
- http://web.archive.org/web/20081202111211/http://stderr.org/pipermail/inquiry/2005-November/003244.html
- http://web.archive.org/web/20120210073012/http://stderr.org/pipermail/inquiry/2005-November/003245.html
- http://web.archive.org/web/20120210073004/http://stderr.org/pipermail/inquiry/2005-November/003246.html
- http://web.archive.org/web/20120229142033/http://stderr.org/pipermail/inquiry/2005-November/003247.html
- http://web.archive.org/web/20081202113551/http://stderr.org/pipermail/inquiry/2005-November/003248.html
- http://web.archive.org/web/20120210073525/http://stderr.org/pipermail/inquiry/2005-November/003249.html
- http://web.archive.org/web/20120210073158/http://stderr.org/pipermail/inquiry/2005-November/003250.html
- http://web.archive.org/web/20081202121026/http://stderr.org/pipermail/inquiry/2005-November/003251.html
- http://web.archive.org/web/20120229142259/http://stderr.org/pipermail/inquiry/2005-November/003256.html
- http://web.archive.org/web/20120210072947/http://stderr.org/pipermail/inquiry/2005-November/003257.html
- http://web.archive.org/web/20081202115048/http://stderr.org/pipermail/inquiry/2005-November/003258.html
2005 • Inquiry List • Futures Of Logical Graphs • Discussion
- http://web.archive.org/web/20150224133200/http://stderr.org/pipermail/inquiry/2005-October/thread.html#3135
- http://web.archive.org/web/20140930152003/http://stderr.org/pipermail/inquiry/2005-November/thread.html#3167
- http://web.archive.org/web/20120206122610/http://stderr.org/pipermail/inquiry/2005-October/003135.html
- http://web.archive.org/web/20120206122736/http://stderr.org/pipermail/inquiry/2005-October/003136.html
- http://web.archive.org/web/20120206122558/http://stderr.org/pipermail/inquiry/2005-October/003137.html
- http://web.archive.org/web/20120204201759/http://stderr.org/pipermail/inquiry/2005-October/003138.html
- http://web.archive.org/web/20120204201250/http://stderr.org/pipermail/inquiry/2005-October/003139.html
- http://web.archive.org/web/20120204201707/http://stderr.org/pipermail/inquiry/2005-October/003140.html
- http://web.archive.org/web/20120204201402/http://stderr.org/pipermail/inquiry/2005-October/003143.html
- http://web.archive.org/web/20120206122741/http://stderr.org/pipermail/inquiry/2005-October/003145.html
- http://web.archive.org/web/20120204201613/http://stderr.org/pipermail/inquiry/2005-October/003148.html
- http://web.archive.org/web/20120206122424/http://stderr.org/pipermail/inquiry/2005-October/003154.html
- http://web.archive.org/web/20120206122836/http://stderr.org/pipermail/inquiry/2005-October/003155.html
- http://web.archive.org/web/20120206122411/http://stderr.org/pipermail/inquiry/2005-October/003159.html
- http://web.archive.org/web/20120210072437/http://stderr.org/pipermail/inquiry/2005-October/003161.html
- http://web.archive.org/web/20120204201227/http://stderr.org/pipermail/inquiry/2005-October/003162.html
- http://web.archive.org/web/20120204201622/http://stderr.org/pipermail/inquiry/2005-October/003163.html
- http://web.archive.org/web/20120206122645/http://stderr.org/pipermail/inquiry/2005-October/003164.html
- http://web.archive.org/web/20140927152303/http://stderr.org/pipermail/inquiry/2005-November/003167.html
- http://web.archive.org/web/20140927152304/http://stderr.org/pipermail/inquiry/2005-November/003169.html
- http://web.archive.org/web/20081121134834/http://stderr.org/pipermail/inquiry/2005-November/003173.html
- http://web.archive.org/web/20120229142649/http://stderr.org/pipermail/inquiry/2005-November/003174.html
- http://web.archive.org/web/20120229141910/http://stderr.org/pipermail/inquiry/2005-November/003175.html
- http://web.archive.org/web/20120210073029/http://stderr.org/pipermail/inquiry/2005-November/003176.html
- http://web.archive.org/web/20061014003121/http://stderr.org/pipermail/inquiry/2005-November/003177.html
- http://web.archive.org/web/20070816114610/http://stderr.org/pipermail/inquiry/2005-November/003178.html
- http://web.archive.org/web/20061014003025/http://stderr.org/pipermail/inquiry/2005-November/003179.html
- http://web.archive.org/web/20081121100932/http://stderr.org/pipermail/inquiry/2005-November/003180.html
- http://web.archive.org/web/20120229142345/http://stderr.org/pipermail/inquiry/2005-November/003182.html
- http://web.archive.org/web/20120229142721/http://stderr.org/pipermail/inquiry/2005-November/003184.html
- http://web.archive.org/web/20120210073024/http://stderr.org/pipermail/inquiry/2005-November/003185.html
- http://web.archive.org/web/20120210073220/http://stderr.org/pipermail/inquiry/2005-November/003188.html
- http://web.archive.org/web/20120229142632/http://stderr.org/pipermail/inquiry/2005-November/003194.html
- http://web.archive.org/web/20061014003514/http://stderr.org/pipermail/inquiry/2005-November/003195.html
- http://web.archive.org/web/20061014003559/http://stderr.org/pipermail/inquiry/2005-November/003196.html
- http://web.archive.org/web/20120210073020/http://stderr.org/pipermail/inquiry/2005-November/003202.html
- http://web.archive.org/web/20120229142412/http://stderr.org/pipermail/inquiry/2005-November/003209.html
- http://web.archive.org/web/20061014003356/http://stderr.org/pipermail/inquiry/2005-November/003211.html
- http://web.archive.org/web/20120210072552/http://stderr.org/pipermail/inquiry/2005-November/003213.html
- http://web.archive.org/web/20061014002959/http://stderr.org/pipermail/inquiry/2005-November/003215.html
- http://web.archive.org/web/20120229142436/http://stderr.org/pipermail/inquiry/2005-November/003216.html
- http://web.archive.org/web/20120229142316/http://stderr.org/pipermail/inquiry/2005-November/003218.html
- http://web.archive.org/web/20070816114643/http://stderr.org/pipermail/inquiry/2005-November/003219.html
Work Area
Fragment
The suggested perspective on algebraic expressions allows us to understand the algebraic law as saying that every one of the arithmetic expressions fitting the indicated algebraic pattern evaluates to the indicated arithmetic result.
Interpretation Rules
Version 1
The interpretation of these operators, read as assertions about the values of their listed arguments, is as follows:
o-----------------------------------------------------------o | Interpretation Rule | o-----------------------------------------------------------o | | | x_1 x_2 ... x_k | | o----o-...-o----o | | \ / | | \ / | | \ / | | \ / | | \ / | | \ / | | \ / | | @ | | | | | | A "k-lobe operator" of the form "(x_1, ..., x_k)" | | enjoys two commonly employed interpretations for | | propositional logic, in other words, two ways of | | taking it as an assertion about, or a constraint | | upon, the logical values of the listed arguments, | | the mentioned variables x_j, for j = 1 through k. | | | | Entitative Interpretation: | | | | "Not just one of the k arguments is true." | | | | Existential Interpretation: | | | | "Just one of the k arguments is not true." | | | o-----------------------------------------------------------o |
Version 2
The two ways of mapping cactus structures to logical meanings are summarized in the following Table, which compares the existential and entitative interpretations of the basic cactus structures.
Version 3
The following Table summarizes the entitative and existential interpretations of the basic cactus structures,.
|
| ||
|
|
The abstract character of the cactus language relative to its logical interpretations makes it possible to give abstract rules of equivalence for transforming one cactus into another that partition the space of cacti into formal equivalence classes. These transformation rules and the resulting equivalence classes are “purely formal” in the sense of being indifferent to the logical interpretation, entitative or existential, one happens to choose.