scientific article; zbMATH DE number 1303437

MaRDI QIDQ4250046zbMATH OpenFDO

Authors Dmitrij Skvortsov

Publication date 3 December 2001

zbMATH Keywords

disjunctive propertyintermediate logiclogic of finite problemssemantic proofstructural completeness

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(12)

• On primal lower-nice property
• Almost structural completeness; an algebraic approach
• scientific article; zbMATH DE number 3979048 (Why is no real title available?)
• scientific article; zbMATH DE number 3557746 (Why is no real title available?)
• Some remarks on pramarts and mils
• scientific article; zbMATH DE number 1973879 (Why is no real title available?)
• scientific article; zbMATH DE number 2108198 (Why is no real title available?)
• scientific article; zbMATH DE number 2108199 (Why is no real title available?)
• Prüfer's ascent result via Inc
• A Practical Approach to Courcelle's Theorem
• A pointed Prym–Petri Theorem
• On a theorem of I.I.Privalov

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