Search open-access research in Arabic and English

arXiv 2017-12-05 EN

On a question of Krajewski's

Pakhomov, Fedor · Visser, Albert

arXiv 2011-08-02 EN

Variants into minimal logic of the Kuroda negative translation

Gaspar, Jaime

arXiv 2010-11-01 EN

Negative translations not intuitionistically equivalent to the usual ones

Gaspar, Jaime