@article{ DBLP:journals/mlq/BouFL04,
  author = {Félix Bou and
               Josep Maria Font and
               José Luis García-Lapresta},
  title = {On weakening the Deduction Theorem and strengthening Modus
               Ponens},
  journal = {Math. Log. Q.},
  volume = {50},
  number = {3},
  year = {2004},
  pages = {303-324},
  ee = {http://dx.doi.org/10.1002/malq.200410001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"51f5bc51a57e92543f0001a9"},"__v":2,"authorIDs":[],"author_short":["Bou, F.","Font, J.<nbsp>M.","García-Lapresta, J.<nbsp>L."],"bibbaseid":"bou-font-garcalapresta-onweakeningthedeductiontheoremandstrengtheningmodusponens-2004","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"DBLP:journals/mlq/BouFL04\"> </a>On weakening the Deduction Theorem and strengthening Modus Ponens.</span>\n\t<span class=\"bibbase_paper_author\">\nBou, F.; Font, J.&nbsp;M.; and García-Lapresta, J.&nbsp;L.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2004</span>. -->\n</span>\n\n\n\n<i>Math. Log. Q.</i>,\n\n50(3):303-324.\n\n 2004.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('bou-font-garcalapresta-onweakeningthedeductiontheoremandstrengtheningmodusponens-2004', 'http://dx.doi.org/10.1002/malq.200410001')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1002/malq.200410001\"\n onclick=\"javascript:log_download('bou-font-garcalapresta-onweakeningthedeductiontheoremandstrengtheningmodusponens-2004', 'http://dx.doi.org/10.1002/malq.200410001')\">\n <img src=\"http://www.bibbase.org/img/filetypes/blank.png\"\n\t alt=\"On weakening the Deduction Theorem and strengthening Modus Ponens [.200410001]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Link</span></a> \n &nbsp;\n \n \n <a href=\"javascript:showBib('DBLP:journals/mlq/BouFL04')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"On weakening the Deduction Theorem and strengthening Modus Ponens [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_DBLP_journals_mlq_BouFL04\"\n style=\"display:none\">\n <pre>@article{ DBLP:journals/mlq/BouFL04,\n author = {Félix Bou and\n Josep Maria Font and\n José Luis García-Lapresta},\n title = {On weakening the Deduction Theorem and strengthening Modus\n Ponens},\n journal = {Math. Log. Q.},\n volume = {50},\n number = {3},\n year = {2004},\n pages = {303-324},\n ee = {http://dx.doi.org/10.1002/malq.200410001},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"author":["Bou, Félix","Font, Josep Maria","García-Lapresta, José Luis"],"author_short":["Bou, F.","Font, J.<nbsp>M.","García-Lapresta, J.<nbsp>L."],"bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@article{ DBLP:journals/mlq/BouFL04,\n author = {Félix Bou and\n Josep Maria Font and\n José Luis García-Lapresta},\n title = {On weakening the Deduction Theorem and strengthening Modus\n Ponens},\n journal = {Math. Log. Q.},\n volume = {50},\n number = {3},\n year = {2004},\n pages = {303-324},\n ee = {http://dx.doi.org/10.1002/malq.200410001},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}","bibtype":"article","ee":"http://dx.doi.org/10.1002/malq.200410001","id":"DBLP:journals/mlq/BouFL04","journal":"Math. Log. Q.","key":"DBLP:journals/mlq/BouFL04","number":"3","pages":"303-324","title":"On weakening the Deduction Theorem and strengthening Modus Ponens","type":"article","volume":"50","year":"2004","role":"author","urls":{"Link":"http://dx.doi.org/10.1002/malq.200410001"},"bibbaseid":"bou-font-garcalapresta-onweakeningthedeductiontheoremandstrengtheningmodusponens-2004"},"bibtype":"article","biburl":"http://www.bibbase.org/dblp/Bou_Feacutelix.bib","downloads":0,"search_terms":["weakening","deduction","theorem","strengthening","modus","ponens","bou","font","garcía-lapresta"],"title":"On weakening the Deduction Theorem and strengthening Modus Ponens","title_words":["weakening","deduction","theorem","strengthening","modus","ponens"],"year":2004,"dataSources":["WYn7Y7KSKwqW7mW6h"]}