2,932 followers
SnO2WMaNというハンドルネームは相当ありえない表記（間に数字が入っている上にアルファベット大文字小文字が入り乱れている）とは思っているが、証明論の証明体系に同じ感じの名前の体系(G4iSL)があって親近感が湧いている https://t.co/YMeynBOWAA
Automated Reasoning with Analytic Tableaux and Related Methods
Springer Nature Switzerland
2,474 followers
Open Access UCL Research: Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic https://t.co/lNi3P3G2SK
3,588 followers
A naive prover for first-order logic: A minimal example of analytic completeness. ~ Asta Halkjær From, Jørgen Villadsen. https://t.co/Ox9DTzEY3I #ITP #IsabelleHOL #Logic
1,289 followers
RT @Nils_Kurbis: Don't click on this link: https://t.co/rQgo646ODN