The theorem “𝑝≺𝑞.=.𝑝𝑞=𝑝” and Huntington’s relation between Lewis’s strict implication and Boolean algebra

From MaRDI portal
Publication:5763999