scientific article; zbMATH DE number 5827852

zbMATH Open1201.03014MaRDI QIDQ3063990FDOQ3063990

V. I. Khomich

Publication date: 18 December 2010

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (1)

• Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Properties of superintuitionistic propositional calculi 👍 👎
• On the simple substitution property for superintuitionistic and modal propositional logics 👍 👎
• Metalogic of intuitionistic propositional calculus 👍 👎
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics 👍 👎
• Separability of normalizable superintuitionistic propositional logics 👍 👎
• On the property of simple substitution for superintuitionistic propositional logics. 👍 👎
• Hereditarily structurally complete superintuitionistic deductive systems 👍 👎
• On applied theories with superintuitionistic logics 👍 👎
• The simple substitution property for superintuitionistic propositional logics and its relation to the separability property 👍 👎

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