Decidability of the projective beth property in varieties of Heyting algebras

Algebra and Logic

Volumn 40, Issue 3, 2001, Pages 159-165

  Maksimova, L L ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52549130503     PISSN: 00025232     EISSN: 15738302     Source Type: Journal    
DOI: 10.1023/A:1010208217965     Document Type: Article

References (13)

1. L. L. Maksimova, "Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras," Algebra Logika, 16, No. 6, 643-681 (1977).
2. E. W. Beth, "On Padoa's method in the theory of definitions," Ind. Math., 15, No. 4, 330-339 (1953).
3. G. Kreisel, "Explicit definability in intuitionistic logic," J. Symb. Log., 25, No. 4, 389-390 (1960).
4. L. Maksimova, "Explicit and implicit definability in modal and related logics," Bull. Sect. Log., Univ. Łodź, Dep. Log., 27, Nos. 1/2, 36-39 (1998).
5. L. L. Maksimova, "Intuitionistic logic and implicit definability," Ann. Pure Appl. Log., 105, No. 1, 83-102 (2000).
6. L. L. Maksimova, "Projective Beth properties in modal and superintuitionistic logics," Algebra Logika, 38, No. 3, 316-333 (1999).
7. A. V. Kuznetsov, "On superintuitionistic logics," Mat. Issl., 10, No. 2(36), 150-158 (1975).
8. T. Hosoi, "On intermediate logics. I," J. Fac. Sc. Univ. Tokyo, Sect. Ia, 14, 293-312 (1967).
9. L. L. Maksimova, "Superintuitionistic logics and the projective Beth property," Algebra Logika, 38, No. 6, 681-697 (1999).
10. V. A. Yankov, "On the calculus of weak low of excluded middle," Izv. Akad. Nauk SSSR, Ser. Mat., 32, No. 5, 1044-1051 (1968).
11. L. L. Maksimova, "Pretable superintuitionistic logics," Algebra Logika, 11, No. 5, 558-570 (1972).
12. T. Hosoi and H. Ono, "Intermediate propositional logics. A survey," J. Tsuda College, 5, 67-82 (1973).
13. A. V. Kuznetsov, "On some problems of classification of superintuitionistic logics," 3d All-Union Conference on Mathematical Logic, Novosibirsk (1974), pp. 119-122.