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
Cirquent calculus by G. Japaridze.