{"_id":"h2AMvoFBzqxx72dGK","bibbaseid":"sonobe-agentzentypeformulationofsomeintermediatepropositionallogics-1975","authorIDs":[],"author_short":["Sonobe, O."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sonobe"],"firstnames":["O."],"suffixes":[]}],"title":"A Gentzen-type Formulation of Some Intermediate Propositional Logics","journal":"Journal of Tsuda College","volume":"7","pages":"7–14","year":"1975","bibtex":"@article{sonobe75,\n\t\tauthor = {Sonobe, O.},\n\t\ttitle = {A {G}entzen-type Formulation of Some Intermediate Propositional Logics},\n\t\tjournal = {Journal of Tsuda College},\n\t\tvolume = {7},\n\t\tpages = {7--14},\n\t\tyear = {1975},\n}\n\n\n","author_short":["Sonobe, O."],"key":"sonobe75","id":"sonobe75","bibbaseid":"sonobe-agentzentypeformulationofsomeintermediatepropositionallogics-1975","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.856Z","downloads":0,"keywords":[],"search_terms":["gentzen","type","formulation","intermediate","propositional","logics","sonobe"],"title":"A Gentzen-type Formulation of Some Intermediate Propositional Logics","year":1975,"dataSources":["ChWnbF8EqSa8nccMs"]}