@article{10010237284,
		author="TAKANO, M.",
		title="Subformula property as a substitute for cut-elimination in modal propositional logics",
		journal="Mathematica Japonica",
		ISSN="",
		publisher="",
		year="1992",
		month="",
		volume="37",
		number="",
		pages="1129-1145",
}

{"_id":"HzdBGztnkcLTxu3Zo","bibbaseid":"takano-subformulapropertyasasubstituteforcuteliminationinmodalpropositionallogics-1992","authorIDs":[],"author_short":["TAKANO, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["TAKANO"],"firstnames":["M."],"suffixes":[]}],"title":"Subformula property as a substitute for cut-elimination in modal propositional logics","journal":"Mathematica Japonica","issn":"","publisher":"","year":"1992","month":"","volume":"37","number":"","pages":"1129-1145","bibtex":"@article{10010237284,\n\t\tauthor=\"TAKANO, M.\",\n\t\ttitle=\"Subformula property as a substitute for cut-elimination in modal propositional logics\",\n\t\tjournal=\"Mathematica Japonica\",\n\t\tISSN=\"\",\n\t\tpublisher=\"\",\n\t\tyear=\"1992\",\n\t\tmonth=\"\",\n\t\tvolume=\"37\",\n\t\tnumber=\"\",\n\t\tpages=\"1129-1145\",\n}\n\n","author_short":["TAKANO, M."],"key":"10010237284","id":"10010237284","bibbaseid":"takano-subformulapropertyasasubstituteforcuteliminationinmodalpropositionallogics-1992","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.724Z","downloads":0,"keywords":[],"search_terms":["subformula","property","substitute","cut","elimination","modal","propositional","logics","takano"],"title":"Subformula property as a substitute for cut-elimination in modal propositional logics","year":1992,"dataSources":["ChWnbF8EqSa8nccMs"]}