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

DOI10.1007/BF02123821zbMath0343.02037OpenAlexW2011292370MaRDI QIDQ1232282

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)

Related Items (2)

Structural completeness and superintuitionistic inquisitive logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

Cites Work

• Finite limitations on Dummett's LC
• On the structural completeness of some pure implicational propositional calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item

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