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 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 provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to t

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

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathemat