Travelled to:1 × United Kingdom
Collaborated with:D.P.Skvortsov E.Z.Skvortsova N.K.Vereshchagin
Talks about:proposit (1) variant (1) formula (1) realiz (1) exclud (1) middl (1) logic (1) weak (1) law (1)
Person: Alexey V. Chernov
DBLP: Chernov:Alexey_V=
Contributed to:
2002Wrote 1 papers:
- CSL-2002-ChernovSSV #logic
- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle (AVC, DPS, EZS, NKV), pp. 74–88.