2,589 followers
Open Access UCL Research: A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions https://t.co/juNXiwLqYD
Open Access UCL Research: A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions https://t.co/juNXiwLqYD
SnO2WMaNというハンドルネームは相当ありえない表記(間に数字が入っている上にアルファベット大文字小文字が入り乱れている)とは思っているが、証明論の証明体系に同じ感じの名前の体系(G4iSL)があって親近感が湧いている https://t.co/YMeynBOWAA
Open Access UCL Research: Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic https://t.co/lNi3P3G2SK
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