An Intuitionisticaly based Description Logic

Downloads:

BibTeX:

  {%raw%}@techreport{ialc-arxiv,
  author = {Haeusler, Edward Hermann and Rademaker, Alexandre},
  title = {An Intuitionisticaly based Description Logic},
  institution = {Arxiv},
  year = {2014},
  month = may,
  pdflink1 = {http://arxiv.org/abs/1402.0225}
}
{%endraw%}