12,136
edits
Changes
User:Jon Awbrey/Cactus Language Semantics Work (view source)
Revision as of 13:58, 29 October 2025
, Yesterday at 13:58→Cactus Language • Semantics
<dt>Semantic Translation • Equational Form</dt>
<dt>Semantic Translation • Equational Form</dt>
<dd>The second Table records the transitions in the form of equations, treating sentences and graphs as alternative types of signs and generalizing the denotation bracket to indicate the proposition denoted by either.</dd>
<dd>The second Table records the transitions in the form of equations, treating sentences and graphs as alternative types of signs and generalizing the denotation bracket to indicate the proposition denoted by either type.</dd>
</dl>
</dl>