by Matthias Baaz, Agata Ciabattoni
Reference:
Proof theory of witnessed Gödel logic: A negative resultMatthias Baaz, Agata Ciabattonivolume 26, number 1, pages 51–64, 2016.
Bibtex Entry:
@ignore_article{DBLP:journals/logcom/BaazC16,
author = {Matthias Baaz and
Agata Ciabattoni},
title = {Proof theory of witnessed G{\"{o}}del logic: {A} negative result},
journal = {J. Log. Comput.},
volume = {26},
number = {1},
pages = {51--64},
year = {2016},
url = {http://dx.doi.org/10.1093/logcom/ext018},
doi = {10.1093/logcom/ext018},
timestamp = {Tue, 01 Mar 2016 11:42:40 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BaazC16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}