infinito-valente, 71 Jo˜ao Marcos, 74 K´almar, 19 Kleene, 38 l´ogica paraconsistente, 72 de Ackermann, 55 intuicionista, 42, 53 positiva, 8 cl´assica, 8 intuicionista, 58 relevante, 54 sem tipos, 53 l´ogica positiva cl´assica de primeira ordem, 88 intuicionista, 72 l´ogicas finito-valentes de L Ã ukasiewicz, 72 l´ogicas paraconsistentes, 51, 72 Lei da Absor¸ca˜o, 4, 46, 48, 50 fraca, 48 da Absor¸ca˜o, 40, 51, 52, 56, 97, 100 de Dummett, 95 de Peirce, 72, 95 LFI1, 51, 52 LFI1+ , 51 Lopes dos Santos, 32, 35 m´etodo de Henkin, 8, 13, 20, 30 m´etodo de K´almar, 20, 32, 36, 37 m´etodo geral de Henkin, 32 Malinowski, 48, 49 matriz M3 , 44 M, 10 109
M , 94 LFI1+ , 51 para L+ n , 44 standard de conseq¨ uˆencia, 49 de L∨ , 21 de L∧ , 20 de LY , 22 Metateorema da Dedu¸ca˜o, 9 modalidade, 54 modelos de Kripke, 71 n´ umero de G¨odel, 39 necessidade, 54, 69, 70 nega¸ca˜o impl´ıcita, 6, 88, 90 operador g, 69 operador Γ, 54, 70 operador de conseq¨ uˆencia, 49 operador de conseq¨ uˆencia tarskiano, 48 operador de consequˆencia, 49, 66 operador de consistˆencia, 52 operador de trivialidade positiva, 85 paradoxo de Curry, 40, 50, 53–55, 58, 65, 69, 72 paradoxo de Epimˆenides, 39 paradoxo de Russell, 39, 40, 55 paradoxo do hiperjogo, 86 paradoxos positivos, 4 paratrivialidade, 6, 85, 93 Pollock, 35, 36 possibilidade, 70 Post, 3 Princ´ıpio Ghent, 95 Princ´ıpio Campinas, 95 princ´ıpio de compreens˜ao ou abstra¸ca˜o, 53