12,080
edits
Changes
add old project outline from getwiki
*
==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]]