| Line 1: |
Line 1: |
| − | * | + | ==Current Projects== |
| | + | |
| | + | ===Cactus Language=== |
| | + | |
| | + | * Project Page : [[Cactus Language]] |
| | + | |
| | + | * [[Propositional Equation Reasoning Systems]] |
| | + | |
| | + | ===Differential Logic=== |
| | + | |
| | + | * Project Page : [[Differential Logic]] |
| | + | |
| | + | ===Inquiry Driven Systems=== |
| | + | |
| | + | * Project Page : [[Inquiry Driven Systems]] |
| | + | |
| | + | ===Semiotic Theory Of Information=== |
| | + | |
| | + | * Project Page : [[Semiotic Theory Of Information]] |
| | + | |
| | + | * [[Information Equals Comprehension Times Extension|Information = Comprehension × Extension]] |
| | + | |
| | + | * [[Peirce’s Logic Of Information]] |
| | + | |
| | + | * [[Semiotic information theory]] |
| | + | |
| | + | ===Theory Of Relations=== |
| | + | |
| | + | * Project Page : [[Theory Of Relations]] |