cfaed Publications
Gödel negation makes unwitnessed consistency crisp
Reference
Stefan Borgwardt, Felix Distel, Rafael Peñaloza Nyssen, "Gödel negation makes unwitnessed consistency crisp" , 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. 103-113, Jun 2012.
Bibtex
@InCollection{ auto-key*ef,
author = {Borgwardt, Stefan and Distel, Felix and Peñaloza Nyssen, Rafael},
title = {Gödel negation makes unwitnessed consistency crisp},
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 = {103-113},
month = jun,
year = {2012},
project = {B02}
}
author = {Borgwardt, Stefan and Distel, Felix and Peñaloza Nyssen, Rafael},
title = {Gödel negation makes unwitnessed consistency crisp},
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 = {103-113},
month = jun,
year = {2012},
project = {B02}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1105