1 paper
RafaÅ Komendarczyk, Walter E. Block, John Levendis +1
This paper presents an axiomatization of Ludwig von Mises' praxeology in many-sorted first-order logic, isolating the foundational layer. We introduce a formal language with five s…