%0 Journal Article %1 journals/rsl/SanzP09 %A de Campos Sanz, Wagner %A Piecha, Thomas %D 2009 %J Rev. Symb. Log. %K dblp %N 3 %P 550-569 %T Inversion by Definitional Reflection and the Admissibility of Logical Rules. %U http://dblp.uni-trier.de/db/journals/rsl/rsl2.html#SanzP09 %V 2

@article{journals/rsl/SanzP09, added-at = {2019-08-20T00:00:00.000+0200}, author = {de Campos Sanz, Wagner and Piecha, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/246fa173fe07160de3b24b93e70cb6aae/dblp}, ee = {https://doi.org/10.1017/S1755020309990165}, interhash = {3fb2bda655a9db034aee657dd7a658ee}, intrahash = {46fa173fe07160de3b24b93e70cb6aae}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 3, pages = {550-569}, timestamp = {2019-08-21T11:41:26.000+0200}, title = {Inversion by Definitional Reflection and the Admissibility of Logical Rules.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl2.html#SanzP09}, volume = 2, year = 2009 }