This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the

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 edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathemat

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

With this volume of the series Logic, Epistemology, and the Unity of Science edited by S. Rahman et al. a challenging dialogue is being continued. The series’