scientific article; zbMATH DE number 22979

zbMATH Open0746.03017MaRDI QIDQ3980779FDOQ3980779

Authors: I. V. Kuku 

Publication date: 26 June 1992

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

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

zbMATH Keywords

chain logicextension of Dummett's system LCparametric bases

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (2)

• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• Title not available (Why is that?)

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)