scientific article; zbMATH DE number 4045716

MaRDI QIDQ3783273zbMATH OpenFDO

Authors Michael Zakharyaschev

Publication date 1987

zbMATH Keywords

disjunctionpropositional logicsuperintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• Two classes of intermediate propositional logics without disjunction property
• On maximal intermediate logics with the disjunction property
• scientific article; zbMATH DE number 3853044
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• A new solution to a problem of Hosoi and Ono

Cited in

(13)

• On maximal intermediate logics with the disjunction property
• Two classes of intermediate propositional logics without disjunction property
• The disjunction property of intermediate propositional logics
• Modal companions of intermediate propositional logics
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• Bjarni Jónsson's contributions in algebra
• Superintuitionistic companions of classical modal logics
• A new solution to a problem of Hosoi and Ono
• scientific article; zbMATH DE number 3853044 (Why is no real title available?)
• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 2154091 (Why is no real title available?)
• Esakia duality and its extensions
• Metalogic of intuitionistic propositional calculus

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