Alexey V. Chernov, Dmitrij P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin. Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. In Julian C. Bradfield, editor, Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Volume 2471 of Lecture Notes in Computer Science, pages 74-88, Springer, 2002. [doi]
Abstract is missing.