%0 Journal Article %1 journals/sLogica/FerreiraF15 %A Ferreira, Fernando %A Ferreira, Gilda %D 2015 %J Stud Logica %K dblp %N 6 %P 1303-1311 %T The Faithfulness of Fat: A Proof-Theoretic Proof. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica103.html#FerreiraF15 %V 103

@article{journals/sLogica/FerreiraF15, added-at = {2020-09-01T00:00:00.000+0200}, author = {Ferreira, Fernando and Ferreira, Gilda}, biburl = {https://www.bibsonomy.org/bibtex/22cf6362589a7e9175c7a95f8047778ce/dblp}, ee = {https://doi.org/10.1007/s11225-015-9620-5}, interhash = {b866e9d43c09574e403b8bcb413c8e02}, intrahash = {2cf6362589a7e9175c7a95f8047778ce}, journal = {Stud Logica}, keywords = {dblp}, number = 6, pages = {1303-1311}, timestamp = {2020-09-09T12:37:37.000+0200}, title = {The Faithfulness of Fat: A Proof-Theoretic Proof.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica103.html#FerreiraF15}, volume = 103, year = 2015 }