scientific article; zbMATH DE number 4120150

MaRDI QIDQ4733853zbMATH OpenFDO

Authors Dmitrij Skvortsov

Publication date 1988

zbMATH Keywords

axiomatizabilityintermediate predicate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(8)

• On the predicate logics of finite Kripke frames
• On some Kripke complete and Kripke incomplete intermediate predicate logics
• scientific article; zbMATH DE number 4143949 (Why is no real title available?)
• scientific article; zbMATH DE number 3910372 (Why is no real title available?)
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• scientific article; zbMATH DE number 2024625 (Why is no real title available?)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733853)