Posts

💬 I created this blog to share personal thoughts on the (academic) things I work.

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.