@article{beeson2005-veroff-wos,
	author = {Michael Beeson and Robert Veroff and Larry Wos},
	date-added = {2014-11-13 23:12:48 +0000},
	date-modified = {2014-11-14 18:16:30 +0000},
	journal = {Studia Logica},
	keywords = {Automated deduction, Logic},
	number = {2-3},
	pages = {195-234},
	title = {Double negation elimination in some propositional logics},
	url_pdf = {dn.pdf},
	volume = {80},
	year = {2005}}

{"_id":"oNFsCfry6vr3uxHaw","bibbaseid":"beeson-veroff-wos-doublenegationeliminationinsomepropositionallogics-2005","author_short":["Beeson, M.","Veroff, R.","Wos, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Robert"],"propositions":[],"lastnames":["Veroff"],"suffixes":[]},{"firstnames":["Larry"],"propositions":[],"lastnames":["Wos"],"suffixes":[]}],"date-added":"2014-11-13 23:12:48 +0000","date-modified":"2014-11-14 18:16:30 +0000","journal":"Studia Logica","keywords":"Automated deduction, Logic","number":"2-3","pages":"195-234","title":"Double negation elimination in some propositional logics","url_pdf":"dn.pdf","volume":"80","year":"2005","bibtex":"@article{beeson2005-veroff-wos,\n\tauthor = {Michael Beeson and Robert Veroff and Larry Wos},\n\tdate-added = {2014-11-13 23:12:48 +0000},\n\tdate-modified = {2014-11-14 18:16:30 +0000},\n\tjournal = {Studia Logica},\n\tkeywords = {Automated deduction, Logic},\n\tnumber = {2-3},\n\tpages = {195-234},\n\ttitle = {Double negation elimination in some propositional logics},\n\turl_pdf = {dn.pdf},\n\tvolume = {80},\n\tyear = {2005}}\n\n","author_short":["Beeson, M.","Veroff, R.","Wos, L."],"key":"beeson2005-veroff-wos","id":"beeson2005-veroff-wos","bibbaseid":"beeson-veroff-wos-doublenegationeliminationinsomepropositionallogics-2005","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/dn.pdf"},"keyword":["Automated deduction","Logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["automated deduction","logic"],"search_terms":["double","negation","elimination","propositional","logics","beeson","veroff","wos"],"title":"Double negation elimination in some propositional logics","year":2005}