scientific article; zbMATH DE number 3557746

MaRDI QIDQ4133597zbMATH OpenFDO

Authors Tadeusz Prucnal

Publication date 1976

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 2108198
• scientific article; zbMATH DE number 1303437
• Publication:3481676
• Some results on intermediate constructive logics
• scientific article; zbMATH DE number 3875241

Cited in

(13)

• On two problems of Harvey Friedman
• On the modal logic of Jeffrey conditionalization
• Hereditarily structurally complete superintuitionistic deductive systems
• On rules
• Almost structural completeness; an algebraic approach
• A syntactic approach to unification in transitive reflexive modal logics
• Tutorial on admissible rules in Gudauri
• scientific article; zbMATH DE number 1303437 (Why is no real title available?)
• scientific article; zbMATH DE number 2108198 (Why is no real title available?)
• Standard Bayes logic is not finitely axiomatizable
• Hereditarily structurally complete positive logics
• Multiple conclusion rules in logics with the disjunction property
• Admissible rules in the implication-negation fragment of intuitionistic logic

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)