T. L. Sidon, “Craig interpolation property for operational logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, Number 2,Pages <nobr>34

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998 Number 2, Pages 34–38 (Mi vmumm1764)

This article is cited in 1 paper

Mathematics

Craig interpolation property for operational logics of proofs

T. L. Sidon

UDC: 510.6

Received: 12.03.1997

Fulltext: PDF file (974 kB)
Cited by

Bibliographic databases: