NEW:
Recent Messages
* Re: Is it hard to get a ... * Artificial intelligence ... * Re: Is it hard to get a ... * Re: Where to do master d... * Upcoming conferences in ...
|
Home >
Reasoning
 |
Logical Graph
A logical graph is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic.
http://mywikibiz.com/Logical_graph
|
|
 |
Propositional Equation Reasoning Systems
This article develops elementary facts about a family of formal calculi described as "propositional equation reasoning systems" (PERS). The work is based on the logical graphs of Charles Sanders Peirce and the indication calculus of George Spencer Brown.
http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems
|
|
|