%0 Journal Article %1 journals/mlq/IshiharaS16 %A Ishihara, Hajime %A Schwichtenberg, Helmut %D 2016 %J Math. Log. Q. %K dblp %N 1-2 %P 94-101 %T Embedding classical in minimal implicational logic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq62.html#IshiharaS16 %V 62

@article{journals/mlq/IshiharaS16, added-at = {2016-03-04T00:00:00.000+0100}, author = {Ishihara, Hajime and Schwichtenberg, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/243cedc53fe642b573c22d82c975f7393/dblp}, ee = {http://dx.doi.org/10.1002/malq.201400099}, interhash = {65fa58e3d24dca3e19d1e009337f5c6e}, intrahash = {43cedc53fe642b573c22d82c975f7393}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {1-2}, pages = {94-101}, timestamp = {2016-03-05T11:37:11.000+0100}, title = {Embedding classical in minimal implicational logic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq62.html#IshiharaS16}, volume = 62, year = 2016 }