Classical Gentzen-type Methods in Propositional Many-valued Logics. Avron, A. In Fitting, M. & Or\lowska, E., editors, *Beyond Two: Theory and Applications of Multiple-Valued Logic*, volume 114, of *Studies in Fuzziness and Soft Computing*, pages 117–155. Physica-Verlag HD, 2003. bibtex @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},
}

Downloads: 0

{"_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"]}