Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.

Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin

Browse the full CSL paper archive.