Term Sequent Logic. Gabbay, M. & Gabbay, M. J. Electron. Notes Theor. Comput. Sci., 246:87–106, 2009.
Paper doi bibtex @article{DBLP:journals/entcs/GabbayG09,
author = {Michael Gabbay and
Murdoch James Gabbay},
title = {Term Sequent Logic},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {246},
pages = {87--106},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.017},
doi = {10.1016/j.entcs.2009.07.017},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"520ab33ea9e4b91d2f00051f"},"__v":7,"authorIDs":["54597770b43425b7720005a9"],"author_short":["Gabbay, M.","Gabbay, M. J."],"bibbaseid":"gabbay-gabbay-termsequentlogic-2009","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Murdoch","James"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"title":"Term Sequent Logic","journal":"Electron. Notes Theor. Comput. Sci.","volume":"246","pages":"87–106","year":"2009","url":"https://doi.org/10.1016/j.entcs.2009.07.017","doi":"10.1016/j.entcs.2009.07.017","timestamp":"Mon, 24 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/entcs/GabbayG09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/GabbayG09,\n author = {Michael Gabbay and\n Murdoch James Gabbay},\n title = {Term Sequent Logic},\n journal = {Electron. Notes Theor. Comput. Sci.},\n volume = {246},\n pages = {87--106},\n year = {2009},\n url = {https://doi.org/10.1016/j.entcs.2009.07.017},\n doi = {10.1016/j.entcs.2009.07.017},\n timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/GabbayG09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M.","Gabbay, M. J."],"key":"DBLP:journals/entcs/GabbayG09","id":"DBLP:journals/entcs/GabbayG09","bibbaseid":"gabbay-gabbay-termsequentlogic-2009","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2009.07.017"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","downloads":0,"keywords":[],"search_terms":["term","sequent","logic","gabbay","gabbay"],"title":"Term Sequent Logic","title_words":["term","sequent","logic"],"year":2009,"dataSources":["8fz3gw22LB3CpDrfB"]}