A deduction theorem schema for deductive systems of propositional logics
- 1 January 1991
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 50 (3-4) , 385-390
- https://doi.org/10.1007/bf00370679
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Local deductions theoremsStudia Logica, 1986
- Protoalgebraic logicsStudia Logica, 1986
- Algebraic aspects of deduction theoremsStudia Logica, 1985
- Deduction theorems for RM and its extensionsStudia Logica, 1979
- Przegląd twierdzeń o dedukcji dla rachunków zdańStudia Logica, 1964