Intuitionistic logic and implicit definability

Annals of Pure and Applied Logic

Volumn 105, Issue 1-3, 2000, Pages 83-102

  Maksimova, Larisa ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

03B55; 06D20; 08B15; Projective Beth property; Strong epimorphisms surjectivity; Superintuitionistic logic

Indexed keywords

EID: 0009913609     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(99)00049-4     Document Type: Article

References (20)

1. J. Barwise, S. Feferman (Eds.), Model-Theoretic Logics. Springer, New York, 1985.
2. Beth E.W. On Padoa's method in the theory of definitions. Indag. Math. 15(4):1953;330-339.
3. Blok W. The free closure algebra of finitely many generators. Indag. Math. 39:1977;362-379.
4. Craig W. Three uses of Herbrand-Gentzen theorem in relating model theory. J. Symbolic Logic. 22:1957;269-285.
5. Dummett M. A propositional calculus with denumerable matrix. J. Symbolic Logic. 24:1959;97-106.
6. Hosoi T. On intermediate logics I. J. Faculty Sci. Univ. Tokyo, Sec. Ia. 14:1967;293-312.
7. Hosoi T., Ono H. Intermediate propositional logics. A survey, J. Tsuda College. 5:1973;67-82.
8. Kreisel G. Explicit definability in intuitionistic logic. J. Symbolic Logic. 25:1960;389-390.
9. Kuznetsov A.V. On superintuitionistic logics. Matematicheskie Issledovania. 10(36):1975;150-158.
10. Maksimova L.L. Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras. Algebra Logika. 16(6):1977;643-681.
11. Maksimova L. Interpolation properties in superintuitionistic logics. Studia Logica. 38(4):1979;419-428.
12. L.L. Maksimova, On interpolation in normal modal logics, in: Neklassicheskie Logiki, Stiinca, Kishinev, 1987, pp. 40-56.
13. Maksimova L.L. Definability and interpolation in classical modal logics. Contemp. Math., Part 3. 131:1992;583-599.
14. Maksimova L. Explicit and implicit definability in modal and related logics. Bull. Section of Logic. 27(1/2):1998;36-39.
15. Maksimova L.L. Projective Beth properties in modal and superintuitionistic logics. Algebra and Logic. 38(3):1999;316-333.
16. Maksimova L.L. Superintuitionistic logics and the projective Beth property. Algebra and Logic. 38:1999;680-696.
17. Rasiowa H., Sikorski R. The Mathematics of Metamathematics. 1963;PWN, Warszawa.
18. Sain I. Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. Bergman C.H., Maddux R.D., Pigozzi D.I. Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science. Vol. 425:1990;209-226 Springer, Berlin.
19. Yankov V.A. On connection between provability in intuitionistic propositional calculus and finite implicative structures. Doklady Akademii Nauk SSSR. 151(6):1963;1293-1294.
20. Yankov V.A. On the calculus of weak low of excluded middle. Izvestia Academii Nauk SSSR, Ser. Math. 32(5):1968;1044-1051.