scientific article; zbMATH DE number 3378895

zbMATH Open0239.02014MaRDI QIDQ5650671FDOQ5650671

Authors: A. V. Kuznetsov 

Publication date: 1971

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (3)

• Undecidable iterative propositional calculus
• Nontabularity of the logic S4 with respect to functional completeness
• On some classes of formulas in S5 which are pre-complete relative to existential expressibility

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