scientific article; zbMATH DE number 22979

MaRDI QIDQ3980779zbMATH OpenFDO

Authors I. V. Kuku

Publication date 26 June 1992

zbMATH Keywords

chain logicextension of Dummett's system LCparametric bases

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4081513
• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• scientific article; zbMATH DE number 1918664
• A test for completeness with respect to implicit reducibility in the chain super-intuitionistic logics
• scientific article; zbMATH DE number 4041873

Cited in

(2)

• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• scientific article; zbMATH DE number 4081513 (Why is no real title available?)

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