1 paper · 1 filter
Cosimo Perini Brogi
Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-refl…