Decomposition Proof Systems for Gödel-Dummett Logics. Avron, A. & Konikowska, B. Studia Logica, 69(2):197–219, Nov, 2001. bibtex @Article{Avron2001Beata,
author="Avron, Arnon
and Konikowska, Beata",
title="Decomposition Proof Systems for {G{\"o}del-Dummett} Logics",
journal="Studia Logica",
year="2001",
month="Nov",
day="01",
volume="69",
number="2",
pages="197--219",
_bla_issn="1572-8730",
_bla_doi="10.1023/A:1013813806341",
_bla_url="https://doi.org/10.1023/A:1013813806341"
}
Downloads: 0
{"_id":"2ospnzXQGyk3PHqDz","bibbaseid":"avron-konikowska-decompositionproofsystemsforgdeldummettlogics-2001","authorIDs":[],"author_short":["Avron, A.","Konikowska, B."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Avron"],"firstnames":["Arnon"],"suffixes":[]},{"propositions":[],"lastnames":["Konikowska"],"firstnames":["Beata"],"suffixes":[]}],"title":"Decomposition Proof Systems for Gödel-Dummett Logics","journal":"Studia Logica","year":"2001","month":"Nov","day":"01","volume":"69","number":"2","pages":"197–219","_bla_issn":"1572-8730","_bla_doi":"10.1023/A:1013813806341","_bla_url":"https://doi.org/10.1023/A:1013813806341","bibtex":"@Article{Avron2001Beata,\n\t\tauthor=\"Avron, Arnon\n\t\t\t\tand Konikowska, Beata\",\n\t\ttitle=\"Decomposition Proof Systems for {G{\\\"o}del-Dummett} Logics\",\n\t\tjournal=\"Studia Logica\",\n\t\tyear=\"2001\",\n\t\tmonth=\"Nov\",\n\t\tday=\"01\",\n\t\tvolume=\"69\",\n\t\tnumber=\"2\",\n\t\tpages=\"197--219\",\n\t\t_bla_issn=\"1572-8730\",\n\t\t_bla_doi=\"10.1023/A:1013813806341\",\n\t\t_bla_url=\"https://doi.org/10.1023/A:1013813806341\"\n}\n\n\n\n","author_short":["Avron, A.","Konikowska, B."],"key":"Avron2001Beata","id":"Avron2001Beata","bibbaseid":"avron-konikowska-decompositionproofsystemsforgdeldummettlogics-2001","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.857Z","downloads":0,"keywords":[],"search_terms":["decomposition","proof","systems","del","dummett","logics","avron","konikowska"],"title":"Decomposition Proof Systems for Gödel-Dummett Logics","year":2001,"dataSources":["ChWnbF8EqSa8nccMs"]}