The simple substitution property for superintuitionistic propositional logics and its relation to the separability property

DOI10.1070/IM2003V067N02ABEH000431MaRDI QIDQ4674593zbMATH OpenFDO

Authors V. I. Khomich

Publication date 17 May 2005

Published in Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/IM2003V067N02ABEH000431

zbMATH Keywords

separability propertysubstitution propertysuperintuitionistic propositional logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(1)

• scientific article; zbMATH DE number 5827852 (Why is no real title available?)

This page was built for publication: The simple substitution property for superintuitionistic propositional logics and its relation to the separability property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4674593)