- BR SPCLEARQ AIA-I-57
- Item
- 1979
Parte de Ayda Ignez Arruda
CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.
Ayda Ignez Arruda
1943 resultados diretamente relacionados Excluir termos específicos
Parte de Ayda Ignez Arruda
CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin delAcadémie Polonaise des sciences, v.18, n.6, p.333-335, 1969.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.
Ayda Ignez Arruda