nLab Jon Awbrey

• JA @ Mathstodon

• JA @ WordPress

• JA @ OEIS Wiki

• JA @ InterSciWiki

Algebra

• multigrade operator
• parametric operator

Arithmetic

• Riffs and 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 —

<span class='newWikiWord'>mypic.jpg<a href='/nlab/files/mypic.jpg'>?</a></span>

![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