%0 Journal Article %1 journals/sLogica/KuznetsovM86 %A Kuznetsov, A. V. %A Muravitsky, Alexei Yu. %D 1986 %J Stud Logica %K dblp %N 1 %P 77-99 %T On superintuitionistic logics as fragments of proof logic extensions. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica45.html#KuznetsovM86 %V 45

@article{journals/sLogica/KuznetsovM86, added-at = {2020-09-01T00:00:00.000+0200}, author = {Kuznetsov, A. V. and Muravitsky, Alexei Yu.}, biburl = {https://www.bibsonomy.org/bibtex/260fbdd9b347f5dc5ab98dc89957910c5/dblp}, ee = {https://doi.org/10.1007/BF01881551}, interhash = {ceb23441267b138b87d4153a3ccf5794}, intrahash = {60fbdd9b347f5dc5ab98dc89957910c5}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {77-99}, timestamp = {2020-09-09T12:38:46.000+0200}, title = {On superintuitionistic logics as fragments of proof logic extensions.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica45.html#KuznetsovM86}, volume = 45, year = 1986 }