63.

Łukasiewicz logic - Wikipedia

en.wikipedia.org/wiki/Łukasiewicz_logic