Subsorted Partial Higher-order Logic as an Extension of CASL

Till Mossakowski, Anne Haxthausen, Bernd Krieg-Bruckner

    Research output: Book/ReportReportResearchpeer-review


    CASL is a specification language combining first-order logic, partiality and subsorting. This paper generalizes the CASL logic to higher-order functions and predicates. The logic is presented in a modular step-by-step reduction. Several possible design alternatives are discussed in the light of the need to get a faithful embedding of first-order CASL into higher-order CA
    Original languageEnglish
    Publication statusPublished - 1998

    Cite this