Ontify
⌘
S
⌘
S
Share
Łukasiewicz Logic
Łukasiewicz–Tarski Logic
Many-valued logic.
Wikipedia | Łukasiewicz Logic
Statements about
Łukasiewicz Logic
Named After
Jan Łukasiewicz
Subclass Of
Many-Valued Logic
