An Intuitionisticaly based Description Logic

Downloads:

BibTeX:

@inproceedings{vsl-gsb-2014,
  title = {An Intuitionisticaly based Description Logic},
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann},
  booktitle = {Proceedings of the Workshop on Gentzen Systems and Beyond, Vienna Summer of Logic},
  month = jul,
  year = {2014},
  slides = {/files/vsl-gsb-2014-slides.pdf},
  pdflink1 = {/files/vsl-gsb-2014.pdf},
  address = {Vienna, Austria},
  note = {extended abstract}
}