Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice

by Clerbout, Nicolas, Rahman, Shahid
Published 2015

New Developments in Legal Reasoning and Logic : From Ancient Law to Modern Legal Systems

Published 2022

The Influence of Genetics on Contemporary Thinking

Published 2007

The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions

Published 2008

Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox

Published 2008

Approaches to Legal Rationality

Published 2011

Special Sciences and the Unity of Science

Published 2012

Logic, Epistemology, and the Unity of Science

Published 2004

The Realism-Antirealism Debate in the Age of Alternative Logics

Published 2012