scientific article; zbMATH DE number 4110668

MaRDI QIDQ3834035zbMATH OpenFDO

Authors Nobu-Yuki Suzuki

Publication date 1989

zbMATH Keywords

algebraic framecompletenessfirst-order languageintermediate predicate logicpseudo-relevance property

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3837996
• On the predicate logics of finite Kripke frames
• On the predicate logic of linear Kripke frames and some of its extensions
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

Cited in

(4)

• On variable separation in modal and superintuitionistic logics
• scientific article; zbMATH DE number 218533 (Why is no real title available?)
• scientific article; zbMATH DE number 6290323 (Why is no real title available?)
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate 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 Q3834035)