Łukasiewicz–Tarski logic

Redirect to:

• Łukasiewicz logic