The semisubstitutivity of strict implication

DOI10.2307/2270333zbMath0169.00602OpenAlexW1997242431MaRDI QIDQ5555678

J. Jay Zeman

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270333

zbMATH Keywords

general logic

Related Items (1)

Replacement in logic

Cites Work

• A contribution to the axiomatization of Lewis' system S5

This page was built for publication: The semisubstitutivity of strict implication