Logic Theory
Agency and Deontic Logic
John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency.
Lectures on the Curry-Howard Isomorphism
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Integration of Fuzzy Logic and Chaos Theory
This book attempts to present some current research progress and results on the interplay of fuzzy logic and chaos theory.
Hegel's Theory of the Subject
Hegelian philosophy is now enjoying an enormous renaissance in the English-speaking world. At the very centre of his work is the monumental Science of Logic. Hegel's theory of subjectivity, which comprises the final third of the Science of Logic, has been comparatively neglected.
Categorical Logic and Type Theory
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
Qualitative Complexity
Offering a critique of the humanist paradigm in contemporary social theory, "Qualitative Complexity" is the first comprehensive sociological analysis of complexity theory.