Deduction theorems for weak implicational logics

DOI10.1007/BF00370338zbMath0536.03001OpenAlexW1971424167MaRDI QIDQ791512

Martin W. Bunder

Publication date: 1982

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

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

zbMATH Keywords

relevance logicsdeduction theoremsGentzen rulesweak implicational logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Deduction theorems for weak implicational logics

Cites Work

• Unnamed Item
• Deduction theorems for weak implicational logics
• Positive logic and \(\lambda\)-constants
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt

This page was built for publication: Deduction theorems for weak implicational logics