@InCollection{Avron03,
		  author    = {Avron, Arnon},
		    title     = {Classical {Gentzen}-type Methods in Propositional Many-valued Logics},
			  booktitle = {Beyond Two: Theory and Applications of Multiple-Valued Logic},
			    publisher = {Physica-Verlag HD},
				  year      = {2003},
				    editor    = {Fitting, Melvin and Or{\l}owska, Ewa},
					  volume    = {114},
					    series    = {Studies in Fuzziness and Soft Computing},
						  pages     = {117--155},
						  _bla_doi       = {10.1007/978-3-7908-1769-0_5},
						  _bla_isbn      = {978-3-7908-2522-0},
						    language  = {English},
}

{"_id":"DgSJctusFzknuiSHL","bibbaseid":"avron-classicalgentzentypemethodsinpropositionalmanyvaluedlogics-2003","authorIDs":[],"author_short":["Avron, A."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Avron"],"firstnames":["Arnon"],"suffixes":[]}],"title":"Classical Gentzen-type Methods in Propositional Many-valued Logics","booktitle":"Beyond Two: Theory and Applications of Multiple-Valued Logic","publisher":"Physica-Verlag HD","year":"2003","editor":[{"propositions":[],"lastnames":["Fitting"],"firstnames":["Melvin"],"suffixes":[]},{"propositions":[],"lastnames":["Or\\lowska"],"firstnames":["Ewa"],"suffixes":[]}],"volume":"114","series":"Studies in Fuzziness and Soft Computing","pages":"117–155","_bla_doi":"10.1007/978-3-7908-1769-0_5","_bla_isbn":"978-3-7908-2522-0","language":"English","bibtex":"@InCollection{Avron03,\n\t\t author = {Avron, Arnon},\n\t\t title = {Classical {Gentzen}-type Methods in Propositional Many-valued Logics},\n\t\t\t booktitle = {Beyond Two: Theory and Applications of Multiple-Valued Logic},\n\t\t\t publisher = {Physica-Verlag HD},\n\t\t\t\t year = {2003},\n\t\t\t\t editor = {Fitting, Melvin and Or{\\l}owska, Ewa},\n\t\t\t\t\t volume = {114},\n\t\t\t\t\t series = {Studies in Fuzziness and Soft Computing},\n\t\t\t\t\t\t pages = {117--155},\n\t\t\t\t\t\t _bla_doi = {10.1007/978-3-7908-1769-0_5},\n\t\t\t\t\t\t _bla_isbn = {978-3-7908-2522-0},\n\t\t\t\t\t\t language = {English},\n}\n\n","author_short":["Avron, A."],"editor_short":["Fitting, M.","Or\\lowska, E."],"key":"Avron03","id":"Avron03","bibbaseid":"avron-classicalgentzentypemethodsinpropositionalmanyvaluedlogics-2003","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.803Z","downloads":0,"keywords":[],"search_terms":["classical","gentzen","type","methods","propositional","many","valued","logics","avron"],"title":"Classical Gentzen-type Methods in Propositional Many-valued Logics","year":2003,"dataSources":["ChWnbF8EqSa8nccMs"]}