2 papers
econ.TH2026
A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems
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…
econ.GN2026
Some General Remarks on Private Property
Adnan N. Alabbar, Walter E. Block
Private Property is one of the central institutions of civilized society. We first consider its social, legal, and economic aspects. We then follow the Lockean tradition by focusin…