mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
12 lines
259 B
Plaintext
12 lines
259 B
Plaintext
abstract Logic = {
|
|
cat
|
|
Prop ; Ind ; Dom ; Var ; [Prop] {2} ; [Var] {1} ;
|
|
fun
|
|
And, Or : [Prop] -> Prop ;
|
|
If : Prop -> Prop -> Prop ;
|
|
Not : Prop -> Prop ;
|
|
All, Exist : [Var] -> Dom -> Prop -> Prop ;
|
|
IVar : Var -> Ind ;
|
|
VString : String -> Var ;
|
|
}
|