Allow more ways to define operators

rzach / multlog

M. Ultlog, the genius many-valued logic expert

https://logic.at/multlog

7 stars 1 forks source link

Open rzach opened 3 years ago

rzach commented 3 years ago

Could define operators also as:

[ ] residuum of the inf of a given order (ie x -> y = max (z : min(x, z) <= y))
[ ] by a formula (eg define x -> y as "or(neg(x),y)")
[ ] "internalizing" an order (le(x,y) takes a value v1 iff x \le y and v2 otherwise).