Local deductions theorems
- 1 December 1986
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 45 (4) , 377-391
- https://doi.org/10.1007/bf00370271
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Algebraic aspects of deduction theoremsStudia Logica, 1985
- Filter distributive logicsStudia Logica, 1984
- Matrices, primitive satisfaction and finitely based logicsStudia Logica, 1983
- On matrix representations of consequence operations of Łlukasiewicz's sentential calculiMathematical Logic Quarterly, 1973
- Przegląd twierdzeń o dedukcji dla rachunków zdańStudia Logica, 1964
- Axiomatization of the infinite-valued predicate calculusThe Journal of Symbolic Logic, 1963