19 citations · 123 across the 26 of their papers we have counts for
1 paper · 2 filters
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…