Logical systems with implications
- 1 December 1971
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 28 (1) , 101-115
- https://doi.org/10.1007/bf02124271
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the algebra of classes of formulae of Jaśkowski's discussive systemStudia Logica, 1971
- Allgemeine Logische und Mathematische TheorienMathematical Logic Quarterly, 1970
- A cylindrical algebra based on the Boolean ringStudia Logica, 1967
- An axiom system for the modular logicStudia Logica, 1967
- Begründung einer strengen ImplikationThe Journal of Symbolic Logic, 1956
- A Remark on Functionally Free AlgebrasAnnals of Mathematics, 1946