%0 Journal Article %1 journals/sLogica/AvronK01 %A Avron, Arnon %A Konikowska, Beata %D 2001 %J Stud Logica %K dblp %N 2 %P 197-219 %T Decomposition Proof Systems for Gödel-Dummett Logics. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica69.html#AvronK01 %V 69

@article{journals/sLogica/AvronK01, added-at = {2020-09-01T00:00:00.000+0200}, author = {Avron, Arnon and Konikowska, Beata}, biburl = {https://www.bibsonomy.org/bibtex/26f7054db85a49e92b4d896e4bb8d8c24/dblp}, ee = {https://doi.org/10.1023/A:1013813806341}, interhash = {ccca6e4bd6ab6f712d6a147aed23cd07}, intrahash = {6f7054db85a49e92b4d896e4bb8d8c24}, journal = {Stud Logica}, keywords = {dblp}, number = 2, pages = {197-219}, timestamp = {2020-09-09T12:37:57.000+0200}, title = {Decomposition Proof Systems for Gödel-Dummett Logics.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica69.html#AvronK01}, volume = 69, year = 2001 }