DOI10.1007/BF00370201zbMath0715.03012MaRDI QIDQ751647
D. Kharzeev
Publication date: 1989 Published in: Studia Logica (Search for Journal in Brave)
zbMATH Keywords
Łukasiewicz logic; matrix logic
Mathematics Subject Classification ID
03B50: Many-valued logic