{"_id":"ZDALLz7sMYcxuKv9v","bibbaseid":"avellone-ferrari-miglioli-duplicationfreetableaucalculiandrelatedcutfreesequentcalculifortheinterpolablepropositionalintermediatelogics-1999","authorIDs":[],"author_short":["Avellone, A","Ferrari, M","Miglioli, P"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Avellone"],"firstnames":["A"],"suffixes":[]},{"propositions":[],"lastnames":["Ferrari"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Miglioli"],"firstnames":["P"],"suffixes":[]}],"title":"Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics","journal":"Logic Journal of the IGPL","volume":"7","number":"4","pages":"447-480","year":"1999","_bla_doi":"10.1093/jigpal/7.4.447","eprint":"/oup/backfile/content_public/journal/jigpal/7/4/10.1093/jigpal/7.4.447/2/070447.pdf","bibtex":"@article{doi:10.1093/jigpal/7.4.447,\n\t\tauthor = {Avellone, A and Ferrari, M and Miglioli, P},\n\t\ttitle = {Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics},\n\t\tjournal = {Logic Journal of the IGPL},\n\t\tvolume = {7},\n\t\tnumber = {4},\n\t\tpages = {447-480},\n\t\tyear = {1999},\n\t\t_bla_doi = {10.1093/jigpal/7.4.447},\n\t\teprint = {/oup/backfile/content_public/journal/jigpal/7/4/10.1093/jigpal/7.4.447/2/070447.pdf}\n}\n\n","author_short":["Avellone, A","Ferrari, M","Miglioli, P"],"key":"doi:10.1093/jigpal/7.4.447","id":"doi:10.1093/jigpal/7.4.447","bibbaseid":"avellone-ferrari-miglioli-duplicationfreetableaucalculiandrelatedcutfreesequentcalculifortheinterpolablepropositionalintermediatelogics-1999","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.857Z","downloads":0,"keywords":[],"search_terms":["duplication","free","tableau","calculi","related","cut","free","sequent","calculi","interpolable","propositional","intermediate","logics","avellone","ferrari","miglioli"],"title":"Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics","year":1999,"dataSources":["ChWnbF8EqSa8nccMs"]}