@InProceedings{AZ07,
		  author    = {Avron, A. and A. Zamansky},
		    title     = {Many-valued non-deterministic semantics for first-order logics of formal inconsistency.},
			  booktitle = {Algebraic and Proof-Theoretic Aspects of Non-classical Logics},
			    year      = {2007},
				  editor    = {Aguzzoli, S. and A. Ciabattoni and B. Gerla and C. Manara and V.Marra},
				    series    = {LNCS~4460},
					  pages     = {1--24},
					    publisher = {Springer},
}

{"_id":"WE5XWtQgFTeRodJiT","bibbaseid":"avron-zamansky-manyvaluednondeterministicsemanticsforfirstorderlogicsofformalinconsistency-2007","authorIDs":[],"author_short":["Avron, A.","Zamansky, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Avron"],"firstnames":["A."],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Zamansky"],"suffixes":[]}],"title":"Many-valued non-deterministic semantics for first-order logics of formal inconsistency.","booktitle":"Algebraic and Proof-Theoretic Aspects of Non-classical Logics","year":"2007","editor":[{"propositions":[],"lastnames":["Aguzzoli"],"firstnames":["S."],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Ciabattoni"],"suffixes":[]},{"firstnames":["B."],"propositions":[],"lastnames":["Gerla"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Manara"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["V.Marra"],"suffixes":[]}],"series":"LNCS~4460","pages":"1–24","publisher":"Springer","bibtex":"@InProceedings{AZ07,\n\t\t author = {Avron, A. and A. Zamansky},\n\t\t title = {Many-valued non-deterministic semantics for first-order logics of formal inconsistency.},\n\t\t\t booktitle = {Algebraic and Proof-Theoretic Aspects of Non-classical Logics},\n\t\t\t year = {2007},\n\t\t\t\t editor = {Aguzzoli, S. and A. Ciabattoni and B. Gerla and C. Manara and V.Marra},\n\t\t\t\t series = {LNCS~4460},\n\t\t\t\t\t pages = {1--24},\n\t\t\t\t\t publisher = {Springer},\n}\n\n","author_short":["Avron, A.","Zamansky, A."],"editor_short":["Aguzzoli, S.","Ciabattoni, A.","Gerla, B.","Manara, C.","V.Marra"],"key":"AZ07","id":"AZ07","bibbaseid":"avron-zamansky-manyvaluednondeterministicsemanticsforfirstorderlogicsofformalinconsistency-2007","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.770Z","downloads":0,"keywords":[],"search_terms":["many","valued","non","deterministic","semantics","first","order","logics","formal","inconsistency","avron","zamansky"],"title":"Many-valued non-deterministic semantics for first-order logics of formal inconsistency.","year":2007,"dataSources":["ChWnbF8EqSa8nccMs"]}