An intuitionistic ALC description default logic

Downloads:

BibTeX:

  {%raw%}@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}
}
{%endraw%}