A B
bottom: base C claim: alegação D dialethea: dialetéia dialetheic: dialetéica(o) E F forcing: forçamento frame: enquadramento G H I J K L M model-theoretical: modelo-teórica(o) N negation-free: livre de negações O P proof: prova, demonstração proof-theoretic: demonstracional Q R S set-theoretic: conjuntista T tableau: tablô tableaux: tablôs top: topo turnstile: roleta U V W X Y Z _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
