On some kripke complete and kripke incomplete intermediate predicate logics

Studia Logica

Volumn 61, Issue 2, 1998, Pages 281-292

  Skvortsov, Dmitrij ^a  

^a All Russian Institute for Scientific and Technical Information   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 54749098131     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005029515564     Document Type: Article

References (8)

1. CORSI, G., S. GHILARDI, 1989, 'Directed frames', Archive, for Math. Logic 29, 53-67.
2. GERCHIU, V., A. KUZNETSOV, 1970, 'On finitely axiomatizable superintuitionistic logics', Doklady Akademii Nauk SSSR (Soviet Mathematics, Doklady) 195, 1263-1266.
3. [3| GHILARDI, S., 1989, 'Presheaf semantics and independence results for some non-classical first-order logics', Archive for Math, Logic 29, 125-136.
4. GHILARDI, S., 1991, 'Incompleteness results in Kripke semantics', Journal of Symbolic Logic 56, 517-538.
5. SHEHTMAN, V., D. SKVORTSOV, 1990, 'Semantics of non-classical first order predicate logics', in Mathematical Logic, P. Petkov (ed.), Plenum Press, N. Y., 1990 (Proc. of Summer school and conference in math, logic Heyting'88), 105-116.
6. SHIMURA, T., 1993, 'Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas', Studia Logica 52, 23-40.
7. SKVORTSOV, D., 1996, 'On finite intersections of intermediate predicate logics', in Logic and Algebra, A. Ursini and P. Agliano (eds.), Marcel Decker, N. Y., (Proc. of Intern. Conf. on Logic and Algebra in memory of R. Magari, Siena, 1994), 667-688.
8. SKVORTSOV, D., 'Some incompleteness result for predicate versions of propositional logics' (in preparation).