A simple proof of functional completeness in many-valued logics based on Lukasiewicz's \(C\) and \(N\)

From MaRDI portal
Publication:2626080