ŁUKOWSKI, P. A deductive-reductive form of logic: Intuitionistic S4 modalities. Logic and Logical Philosophy, [S. l.], v. 10, n. 10, p. 79–91, 2004. DOI: 10.12775/LLP.2002.005. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2002.005. Acesso em: 25 jul. 2024.