On structural completeness of implicational logics

DOI10.1007/BF00370188zbMath0739.03018MaRDI QIDQ1181489

Piotr Wojtylak

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicintermediate logicsstructural completeness

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Cites Work

• The lattice of strengthenings of a strongly finite consequence operation
• On the structural completeness of some pure implicational propositional calculi
• DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item