Axiomatization of the De Morgan type rules
- 1 September 1990
- journal article
- research article
- Published by Springer Nature in Studia Logica
- Vol. 49 (3) , 333-343
- https://doi.org/10.1007/bf00370368
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Axiomatization of semigroup consequencesArchive for Mathematical Logic, 1989
- Theory of Logical CalculiPublished by Springer Nature ,1988
- Sets of independent postulates for the algebra of logicTransactions of the American Mathematical Society, 1904