nLab
Jon Awbrey

• JA @ MyWikiBiz
• JA @ Google Knol
• JA @ OEIS Wiki
• JA @ PlanetMath
• JA @ PlanetPhysics
• JA @ ProofWiki

Algebra

• multigrade operator
• parametric operator

Arithmetic

• riffs & rotes

Combinatorics

• graph theory

Computation

• propositions as types in combinatory algebra

Inquiry

• inquiry
• inquiry driven system
• Peirce's logic of information
• semiotic information

Logic

• boolean domain
• boolean function
• boolean-valued function
• cactus language
• continuous predicate
• differential logic
• differential propositional calculus
• higher order proposition
• hypostatic abstraction
• logical graph
• minimal negation operator
• Peirce's law
• praeclarum theorema
• propositional calculus
• propositional equation reasoning system
• relation theory
• semiotic equivalence relation
• sign relation
• triadic relation
• universe of discourse

Miscellaneous

• Charles Sanders Peirce
• precursors
• syntax, semantics, pragmatics

Utilities

• Symbol Sandbox

Gallery

NB. I’ll be using this area to test remote images and upload local images that I use in articles.

Templates —

[[mypic.jpg|alt text:pic]]

![alt text](/nlab/files/mypic.jpg)

http://ncatlab.org/nlab/files/mypic.jpg

<img alt="mytext" src="/nlab/files/mypic.jpg" width="500" />

Upload Queue —

$\varnothing$

---

category: people