tolarz | Karlo_ | Any NOT-less function requires f(x, …, 0) <= f(x, …, 1) │

  tolarz | true in propositional logic, I guess                                                                                                     

  tolarz | rubiksdream: Karlo_ There is a nice generalization of this proprety to many logics. It's called monotonicity.                            

  tolarz | E.g. in FOL, a formula is monotone iff. it only contains the connectives ∧, ∨, ∀, ⇒                                                      
  tolarz | and ≐                                                                                                                                    
  tolarz | (I guess, not sure about ⇒ anymore)                                                                                                      

  tolarz | The intuition is that if a formula F is monotone, then if M |= F and M' is a *super*model of M (e.g. bigger universes), then M' |= F, too
  tolarz | "making the world larger does not invalidate formulae"                                                                                   
  Karlo_ | I did some work on context logic some years ago.                                                                                         
  tolarz | "making the world larger does not invalidate monotonous formulae"