scientific article; zbMATH DE number 3557746

zbMATH Open0358.02024MaRDI QIDQ4133597FDOQ4133597

Tadeusz Prucnal

Publication date: 1976

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

Recommendations

• [[:Publication:4820597|Title not available (Why is that?)]]
• [[:Publication:4250046|Title not available (Why is that?)]]
• [[:Publication:3481676|Title not available (Why is that?)]]
• Some results on intermediate constructive logics
• [[:Publication:3342540|Title not available (Why is that?)]]

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (12)

• Title not available (Why is that?)
• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE
• Tutorial on Admissible Rules in Gudauri
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Almost structural completeness; an algebraic approach
• On the modal logic of Jeffrey conditionalization
• On two problems of Harvey Friedman
• HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
• Multiple Conclusion Rules in Logics with the Disjunction Property
• Hereditarily structurally complete superintuitionistic deductive systems

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