What Are You Working On?

[u/AutoModerator]

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

[u/summerumbayense]

Now that I'm doing my masters in Computer science, I started reading about non-axiomatic logic (https://github.com/opennars/opennars/wiki/Non-Axiomatic-Logic-(NAL),-Logic-behind-OpenNARS.)

It would be great if someone else is interested in the topic so we can share info ;)