Information and Knowledge : A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)

It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths and, on the other, the related explanation of the analytic nature of logical inference.