A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
Research article (Logic Journal of IGPL, 2016) · cited 15× · AI/ML