Mastodon

Jon Awbrey<a href="https://scholar.social/@hochstenbach" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@hochstenbach</a> <a href="https://fosstodon.org/@josd" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@josd</a> I signed on to the group and list. I don't know if you'd be interesed in a side- or sub-project focusing on the propostional layer as I have done some decades of work on <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Peirce</a>'s <a href="https://mathstodon.xyz/tags/AlphaGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AlphaGraphs</a> and his <a href="https://mathstodon.xyz/tags/LogicOfRelatives" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicOfRelatives</a>.

Jon Awbrey<a href="https://mathstodon.xyz/@bblfish" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@bblfish</a> <a href="https://fosstodon.org/@josd" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@josd</a> <a href="https://social.logilab.org/@semwebpro" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@semwebpro</a> <a href="https://scholar.social/@hochstenbach" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@hochstenbach</a> One thing I found out early on is how critical it is to get <a href="https://mathstodon.xyz/tags/AlphaGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AlphaGraphs</a> (<a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BooleanFunctions</a>, <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalCalculus</a>, <a href="https://mathstodon.xyz/tags/ZerothOrderLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZerothOrderLogic</a>) down tight. If you do that it changes how you view <a href="https://mathstodon.xyz/tags/FOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FOL</a> (<a href="https://mathstodon.xyz/tags/PredicateCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PredicateCalculus</a>, <a href="https://mathstodon.xyz/tags/QuantificationalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#QuantificationalLogic</a>). That tends to rub people who view FOL as <a href="https://mathstodon.xyz/tags/GOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GOL</a> (<a href="https://mathstodon.xyz/tags/GodsOwnLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GodsOwnLogic</a>) the wrong way so you have watch out for that if you go down this road.Here's a primer on \(\alpha\) <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicalGraphs</a> as I see them — • <a href="https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no" rel="nofollow noopener noreferrer" target="_blank">https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no</a>

Recent searches

Search options

Administered by:

Server stats:

#alphagraphs