|
Intermediate predicate logic without the Beth property
P. A. Schreiner Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Received: 06.07.1996
Citation:
P. A. Schreiner, “Intermediate predicate logic without the Beth property”, Algebra Logika, 37:1 (1998), 107–117
Linking options:
https://www.mathnet.ru/eng/al2422 https://www.mathnet.ru/eng/al/v37/i1/p107
|
Statistics & downloads: |
Abstract page: | 46 | Full-text PDF : | 16 | References: | 1 |
|