Superintuitionistic logics and the projective Beth property

Algebra and Logic

Volumn 38, Issue 6, 1999, Pages 374-382

  Maksimova, L L ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348027041     PISSN: 00025232     EISSN: 15738302     Source Type: Journal    
DOI: 10.1007/BF02671734     Document Type: Article

References (8)

1. G. Kreisel, "Explicit definability in intuitionistic logic," J. Symb. Log., 25, No. 4, 389-390 (1960).
2. L. L. Maksimova, "Projective Beth properties in modal and superintuitionistic logics," Algebra Logika, 38, No. 3, 316-333 (1999).
3. W. Craig, "Three uses of Herbrand-Gentzen theorem in relating model theory," J. Symb. Log., 22, 269-285 (1957).
4. L. L. Maksimova, "Interpolation properties in superintuitionistic logics," Stud. Log., 38, No. 4, 419-428 (1979).
5. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
6. L. L. Maksimova, "Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras," Algebra Logika, 16, No. 6, 643-681 (1977).
7. L. L. Maksimova, "On variable separation in modal and superintuitionistic logics," Stud. Log., 55, No. 1, 99-112 (1995).
8. T. Hosoi, "On intermediate logics. I," J. Foc. Sc. Univ. Tokyo, Sect. I A, 14, 293-312 (1967).