[PDF][PDF] Relações entre tableaux para formalizar a noção de 'poucos' em ambiente proposicional e de primeira ordem
LHC Silvestrini, ACJ Golzio - researchgate.net
Feitosa, Nascimento e Grácio (2009) no artigo intitulado “Algebraic elements for the notions
of 'many'” introduziram uma lógica proposicional para 'muitos', que é uma lógica …
of 'many'” introduziram uma lógica proposicional para 'muitos', que é uma lógica …