Jon Awbrey<p><a href="https://mathstodon.xyz/tags/DifferentialPropositionalCalculus" class="mention hashtag" rel="tag">#<span>DifferentialPropositionalCalculus</span></a> • 2<br /><a href="https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/02</span><span class="invisible">/22/differential-propositional-calculus-2/</span></a></p><p><a href="https://mathstodon.xyz/tags/CactusCalculus" class="mention hashtag" rel="tag">#<span>CactusCalculus</span></a> —</p><p>Table 6 introduces a <a href="https://mathstodon.xyz/tags/Syntax" class="mention hashtag" rel="tag">#<span>Syntax</span></a> for <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#<span>PropositionalCalculus</span></a> based on 2 families of <a href="https://mathstodon.xyz/tags/MultigradeLogicalConnectives" class="mention hashtag" rel="tag">#<span>MultigradeLogicalConnectives</span></a>.</p><p>Table 6. <a href="https://mathstodon.xyz/tags/Syntax" class="mention hashtag" rel="tag">#<span>Syntax</span></a> and <a href="https://mathstodon.xyz/tags/Semantics" class="mention hashtag" rel="tag">#<span>Semantics</span></a> of a Calculus for <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="tag">#<span>PropositionalLogic</span></a><br /><a href="https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.files.wordp</span><span class="invisible">ress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png</span></a></p><p>Related Subjects —<br /><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="tag">#<span>BooleanFunctions</span></a><br /><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="tag">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#<span>DifferentialLogic</span></a><br /><a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="tag">#<span>GraphTheory</span></a> <a href="https://mathstodon.xyz/tags/CactusGraphs" class="mention hashtag" rel="tag">#<span>CactusGraphs</span></a> <a href="https://mathstodon.xyz/tags/CactusLanguage" class="mention hashtag" rel="tag">#<span>CactusLanguage</span></a><br /><a href="https://mathstodon.xyz/tags/MinimalNegationOperators" class="mention hashtag" rel="tag">#<span>MinimalNegationOperators</span></a> <a href="https://mathstodon.xyz/tags/PaintedAndRootedCacti" class="mention hashtag" rel="tag">#<span>PaintedAndRootedCacti</span></a></p>