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

DOI10.1090/S0002-9904-1936-06419-0zbMath0015.14601MaRDI QIDQ5763999

Tsao-Chen Tang

Publication date: 1936

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

On finite and infinite modal systems

This page was built for publication: The theorem “𝑝≺𝑞.=.𝑝𝑞=𝑝” and Huntington’s relation between Lewis’s strict implication and Boolean algebra