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

Last revised on July 31, 2013 at 05:25:53. See the history of this page for a list of all contributions to it.