cfaed Publications
Non-Gödel negation makes unwitnessed consistency undecidable
Reference
Stefan Borgwardt, Rafael Peñaloza Nyssen, "Non-Gödel negation makes unwitnessed consistency undecidable" , Chapter in Proceedings of the International Workshop on Description Logics (DL) (Yevgeny Kazakov and Domenico Lembo and Frank Wolter) , CEUR-WS.org, vol. 846, pp. 411-421, Jun 2012.
Bibtex
@InCollection{ auto-key*eg,
author = {Borgwardt, Stefan and Peñaloza Nyssen, Rafael},
title = {{Non-Gödel} negation makes unwitnessed consistency undecidable},
booktitle = {Proceedings of the International Workshop on Description Logics (DL)},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
publisher = {CEUR-WS.org},
volume = {846},
series = {CEUR Workshop Proceedings},
pages = {411-421},
month = jun,
year = {2012},
project = {B02}
}
author = {Borgwardt, Stefan and Peñaloza Nyssen, Rafael},
title = {{Non-Gödel} negation makes unwitnessed consistency undecidable},
booktitle = {Proceedings of the International Workshop on Description Logics (DL)},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
publisher = {CEUR-WS.org},
volume = {846},
series = {CEUR Workshop Proceedings},
pages = {411-421},
month = jun,
year = {2012},
project = {B02}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1106