CHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.
Ayda Ignez Arrudas.l.
3440 Descrição arquivística resultados para s.l.
CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.
Ayda Ignez ArrudaBATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.
Ayda Ignez ArrudaARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.
Ayda Ignez ArrudaARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.
Ayda Ignez ArrudaARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].
Ayda Ignez ArrudaARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.
Ayda Ignez ArrudaARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 138, s.d.
Ayda Ignez ArrudaARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.
Ayda Ignez ArrudaARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 145, s.d.
Ayda Ignez Arruda