This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The autho

This volume investigates Eric Weil’s innovative conceptualization of the place of violence in the philosophical tradition with a focus on violence’s relatio

This book provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to t

This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. Accordi

This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays th