self-introduction : jon awbrey

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

i don't know if my interests fit in here,
but i did see a few resonant themes in
the archives, so what the heck ...

my main directory page, where i collect links
to papers (always in progress), projects, and
vita info:

http://www.mywikibiz.com/Directory:Jon_Awbrey

focal interests:

1.  graph-theoretic aspects of formal systems,
    e.g. formal languages that parse into nice
    families of graph-theoretic data structures
    like trees and cacti.

some hint of this line of work is here:

http://planetmath.org/encyclopedia/LogicalGraphFormalDevelopment.html

2.  design of formal systems with attention to their
    conceptual elegance and computationsl efficiency.

some design principles that appeal to me:

a.  i view deductive inference as factoring into information-preserving
    components (licensed by equational or reversible inference rules)
    and information-reducing components (licensed by "projections"
    like modus ponens, resolution, transitivity, and so on).

b.  i am focusing on the equational inference rules --
    i suppose it looks like the road less traveled ...

background interests:

3.  integration of proof-theoretic (syntactic)
    and model-theoretic (semantic) approaches
    within a peircean semiotic framework of
    triadic sign relations.

many regards,

jon awbrey

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