OSMAN, F. Truth tree short-cut rules for biconditional and exclusive disjunction propositions. International Journal of Eurasia Social Sciences , [S. l.], v. 16, n. 60, p. 1054–1077, 2025. DOI: 10.70736/ijoess.1754. Disponível em: https://rrpubs.com/index.php/ijoess/article/view/1754. Acesso em: 18 jul. 2025.