E. E. Zolin, “The Craig interpolation property in logics of proofs with a strong provability operator”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, Number 4,Pages <nobr>53

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

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997 Number 4, Pages 53–55 (Mi vmumm1911)

Short notes

The Craig interpolation property in logics of proofs with a strong provability operator

E. E. Zolin

UDC: 510.643

Received: 25.11.1996

Fulltext: PDF file (565 kB)

Bibliographic databases: