Now showing items 1-2 of 2
Prospects for practice-based philosophy of logic [Presentation]
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
We explore prospects for practice-based approaches to logical theory, in particular the link between classical and intuitionistic logic and the inferential structure of traditional practices of representation & argument ...
Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks [Article]
We show that numerical approximations of Kolmogorov complexity (K) of graphs and networks capture some group-theoretic and topological properties of empirical networks, ranging from metabolic to social networks, and of ...