search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

CommonLogic->CASL: add subsort for universe of discourse #853

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to kluc Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/853

the universe of discourse (UD) is a subset of the universe of reference (UR). This should be reflected in the encdoing to CASL by introducing a subsort UD. The sort individual could be renamed to UR. Note that list need to be built over UD, while quantifiers range over UR.

sternk commented 10 years ago

Comment by till Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/853#comment:2

  sorts UD < UR
  free type list ::= nil | cons(UD,list)