A. D. Yashin, “Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, Number 5,Pages <nobr>12

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

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 5, Pages 12–15 (Mi vmumm3409)

Mathematics

Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models

A. D. Yashin

UDC: 517.11

Received: 21.10.1982

Fulltext: PDF file (602 kB)

Bibliographic databases: