Functional Logic : Quantification Theory

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

Hi Gangs,

I have wikified and TeXified one of my old studies of quantification theory
from the functional logic standpoint.  This is relevant to some discussions
different subsets of us periodically have about generalized quantifiers and
a great variety of higher order systems, from axiom systems, belief systems, and declarative/procedural knowledge systems to information/control systems
and many others.

http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory

One piece of unfinished business in the overall logical graph enterprise
has always been to devise a decent calculus for dealing with higher order
and polymorphic types.  So maybe some people will enjoy thinking about that.

Greetings of the Seasons,

Jon Awbrey

CC: Arisbe, Conceptual Graphs, Cybernetics, Inquiry

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mathweb: http://www.mathweb.org/wiki/User:Jon_Awbrey
p2p wiki: http://www.p2pfoundation.net/User:JonAwbrey
planet math: http://planetmath.org/?op=userobjs;id=15246
proof wiki: http://www.proofwiki.org/wiki/User:Jon_Awbrey
semantic web: http://semanticweb.org/wiki/User:Jon_Awbrey
ontolog: http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey
c: http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=5619
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o