scientific article; zbMATH DE number 20761

zbMATH Open0749.03013MaRDI QIDQ3979923FDOQ3979923

Authors: Toshio Umezawa 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3873298
• Quantified extensions of canonical propositional intermediate logics
• scientific article; zbMATH DE number 3841822
• scientific article; zbMATH DE number 4004159
• scientific article; zbMATH DE number 3963799

zbMATH Keywords

higher-order logiccomplete Heyting algebrasintermediate predicate logics of higher order

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (1)

• Independence in higher-order subclassical logic

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