Subsorted Partial Higher-order Logic as an Extension of CASL

Till Mossakowski; Anne Haxthausen; Bernd Krieg-Bruckner

Subsorted Partial Higher-order Logic as an Extension of CASL

Till Mossakowski, Anne Haxthausen, Bernd Krieg-Bruckner

University of Bremen

Research output: Book/Report › Report › Research › peer-review

Abstract

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 language	English

Publication status	Published - 1998

Access to Document

http://www.brics.dk/Projects/CoFI/Notes/L-10/index.html

OpenUrl availability

Full text

Cite this

@book{7ea9d0c823bd4b86a7cea9773e0a4952,

title = "Subsorted Partial Higher-order Logic as an Extension of CASL",

abstract = "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",

author = "Till Mossakowski and Anne Haxthausen and Bernd Krieg-Bruckner",

year = "1998",

language = "English",

}

TY - RPRT

T1 - Subsorted Partial Higher-order Logic as an Extension of CASL

AU - Mossakowski, Till

AU - Haxthausen, Anne

AU - Krieg-Bruckner, Bernd

PY - 1998

Y1 - 1998

N2 - 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

AB - 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

M3 - Report

BT - Subsorted Partial Higher-order Logic as an Extension of CASL

ER -