scientific article; zbMATH DE number 1471991

MaRDI QIDQ4489075zbMATH OpenFDO

Authors Nobu-Yuki Suzuki

Publication date 11 January 2001

zbMATH Keywords

superintuitionistic logiclattice structure of the set of super-intuitionistic predicate logics having the same propositional fragment

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3906478
• On superintuitionistic logics as fragments of proof logic extensions
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• scientific article; zbMATH DE number 3861126
• Interpolation property and superintuitionistic predicate logics

Cited in

(5)

• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• scientific article; zbMATH DE number 4059361 (Why is no real title available?)
• A remark on a peculiarity in the functor semantics for superintuitionistic predicate logics with (or without) equality
• scientific article; zbMATH DE number 3906478 (Why is no real title available?)
• scientific article; zbMATH DE number 549808 (Why is no real title available?)

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 Q4489075)