Proof of structural completeness of a certain class of implicative propositional calculi

DOI10.1007/BF02123821MaRDI QIDQ1232282zbMATH OpenOpenAlexFDO

Authors Tadeusz Prucnal

Publication date 1973

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02123821

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Categoricity and completeness of theories (03C35)

Cites work

• scientific article; zbMATH DE number 3122422 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3013302 (Why is no real title available?)
• Finite limitations on Dummett's LC
• On the structural completeness of some pure implicational propositional calculi

Cited in

(2)

• Preservation of admissible rules when combining logics
• Structural completeness and superintuitionistic inquisitive logics

This page was built for publication: Proof of structural completeness of a certain class of implicative propositional calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1232282)