io-port.net

first | previous | 1 | next | last

Result 1 to 5 of 5 total

io-port 02174389 Vereshchagin, N.K.; Skvortsov, D.P.; Skvortsova, E.Z.; Chernov, A.V.

Variants of realizability for propositional formulas and the logic of weak excluded middle. (English)

Proc. Steklov Inst. Math. 242, 67-85 (2003); translation from Tr. Mat. Inst. Im. V. A. Steklova 242, 77-97 (2003).

PDF XML AMS-TeX TEXT BIBTeX

io-port 01948155 Chernov, Alexey V.; Skvortsov, Dmitriy P.; Skvortsova, Elena Z.; Vereshchagin, Nikolai K.

Variants of realizability for propositional formulas and the logic of the weak law of excluded middle. (English)

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 74-88 (2002).

Classification: F.1.3 H.1.1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70930806 Chernov, Alexey V.; Skvortsov, Dmitrij P.; Skvortsova, Elena Z.; Vereshchagin, Nikolai K.

Variants of realizability for propositional formulas and the logic of the weak law of excluded middle (English)

CSL, 74-88 (2002).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04079372 Skvortsova, E.Z.

A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice. (English)

Sib. Math. J. 29, No.1, 133-139 (1988); translation from Sib. Mat. Zh. 29, No.1(167), 171-178 (1988).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04059356 Skvortsova, E.Z.

Exact interpretation of intuitionistic propositional calculus by means of the initial segment of Medvedev’s lattice. (Russian)

Sib. Mat. Zh. 29, No.1(167), 171-178 (1988).

Reviewer: Phan Dinh Diêu

PDF XML AMS-TeX TEXT BIBTeX

first | previous | 1 | next | last

Result 1 to 5 of 5 total