An intuitionistic ALC description default logic

Downloads:

• full text
• slides

BibTeX:

@inproceedings{vsl-getfun-2014,
  title = {An intuitionistic ALC description default logic},
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann},
  booktitle = {Proceedings of the Workshop of Compositional Meaning in Logic (GeTFun 2.0) 
     on Vienna Summer of Logic},
  month = jul,
  year = {2014},
  slides = {/files/vsl-getfun-2014-slides.pdf},
  pdflink1 = {/files/vsl-getfun-2014.pdf},
  address = {Vienna, Austria},
  note = {extended abstract}
}