scientific article; zbMATH DE number 4061207

MaRDI QIDQ3795655zbMATH OpenFDO

Authors Małgorzata Porȩbska

Publication date 1987

zbMATH Keywords

intermediate logicsinterpolationintuitionistic logic.propositional fragments

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 3939330
• Interpolation in fragments of intuitionistic propositional logic
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Interpolation in non-classical logics
• Interpolation in fragments of classical linear logic

Cited in

(7)

• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Interpolation in fuzzy logic
• Interpolation in fragments of intuitionistic propositional logic
• scientific article; zbMATH DE number 3939330 (Why is no real title available?)
• Interpolation in fragments of classical linear logic
• A non-classical refinement of the interpolation property for classical propositional 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 Q3795655)