gf-book/examples/chapter9/Logic.gf


1
2
3
4
5
6
7
8
9

abstract Logic = {
  cat
    Prop ; Ind ;
  data
    And, Or, If : Prop -> Prop -> Prop ;
    Not         : Prop -> Prop ;
    All, Exist  : (Ind -> Prop) -> Prop ;
    Past        : Prop -> Prop ;
}