%0 Journal Article %1 journals/sLogica/HerrmannR90 %A Herrmann, Burghard %A Rautenberg, Wolfgang %D 1990 %J Stud Logica %K dblp %N 3 %P 333-343 %T Axiomatization of the De Morgan type rules. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica49.html#HerrmannR90 %V 49

@article{journals/sLogica/HerrmannR90, added-at = {2021-07-25T00:00:00.000+0200}, author = {Herrmann, Burghard and Rautenberg, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2f8a7e3b57d96f3ee59a6a6b9a158b065/dblp}, ee = {https://doi.org/10.1007/BF00370368}, interhash = {b54031b78a42f97169dcadbff31a4578}, intrahash = {f8a7e3b57d96f3ee59a6a6b9a158b065}, journal = {Stud Logica}, keywords = {dblp}, number = 3, pages = {333-343}, timestamp = {2024-04-08T20:31:20.000+0200}, title = {Axiomatization of the De Morgan type rules.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica49.html#HerrmannR90}, volume = 49, year = 1990 }