Tax policy is inextricably bound up with governments’ human rights obligations. Under the International Covenant on Economic, Social and Cultural Rights, governments have an obligation to use the ...

Intuitionistic logic, i.e. logic without the principle of excluded middle (P ∨ ¬ P P \vee \neg P), is important for many reasons. One is that it arises naturally as the internal logic of toposes and ...