Osman F. Truth tree short-cut rules for biconditional and exclusive disjunction propositions. IJOESS [Internet]. 2025 Jun. 15 [cited 2025 Jul. 18];16(60):1054-77. Available from: https://rrpubs.com/index.php/ijoess/article/view/1754