Did I finally find a logic I like? I can actually read this. You can express things like “two out of three”. Never heard of it. Got here the round-about way.
From Gregory Chaitin (computational complexity)
and “Unreasonable ineffectiveness of mathematics” to
Quasi-empiricism in mathematics
to
Interactive computation
to
Cirquent calculus by G. Japaridze.
https://en.wikipedia.org/wiki/Cirquent_calculus
===