%0 Journal Article %1 journals/sLogica/RasgaSS13 %A Rasga, João %A Sernadas, Amílcar %A Sernadas, Cristina %D 2013 %J Studia Logica %K dblp %N 1 %P 117-155 %T Importing Logics: Soundness and Completeness Preservation. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica101.html#RasgaSS13 %V 101

@article{journals/sLogica/RasgaSS13, added-at = {2013-02-14T00:00:00.000+0100}, author = {Rasga, João and Sernadas, Amílcar and Sernadas, Cristina}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/290247bc64e2f56fdb4d782a066b4df6a/dblp}, ee = {http://dx.doi.org/10.1007/s11225-011-9363-x}, interhash = {a1dc6ac7f878211e4f829a1ef9511de0}, intrahash = {90247bc64e2f56fdb4d782a066b4df6a}, journal = {Studia Logica}, keywords = {dblp}, number = 1, pages = {117-155}, timestamp = {2016-02-02T04:18:57.000+0100}, title = {Importing Logics: Soundness and Completeness Preservation.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica101.html#RasgaSS13}, volume = 101, year = 2013 }