12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 20:32, 2 July 2013
, 20:32, 2 July 2013→Logic as sign transformation: fix section links
{| align="center" cellpadding="10" width="90%"
{| align="center" cellpadding="10" width="90%"
| [[Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Praeclarum_theorema|The first way of transforming the expression]] that appears on the left hand side of the equation can be described as ''proof-theoretic'' in character.
| [[#Praeclarum_theorema|The first way of transforming the expression]] that appears on the left hand side of the equation can be described as ''proof-theoretic'' in character.
|-
|-
| [[Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Example|The second way of transforming the expression]] that appears on the left hand side of the equation can be described as ''model-theoretic'' in character.
| [[#Praeclarum_theorema_:_Proof_by_CAST|The second way of transforming the expression]] that appears on the left hand side of the equation can be described as ''model-theoretic'' in character.
|}
|}