Jon Awbrey

- 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

**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

Revised on July 31, 2013 05:25:53
by Jon Awbrey
(99.18.25.237)