A Paraconsistent Higher Order Logic



TypeConference paper [With referee]
ConferenceInternational Workshop on Paraconsistent Computational Logic
EditorsH. Decker et al., Roskilde University, Denmark
Year2002    pp. 33-49
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering