Coleção AMS - Antônio Mário Sette

Identity area

Reference code

BR SPCLEARQ AMS

Title

Antônio Mário Sette

Date(s)

  • 1963-1997 (Creation)

Level of description

Coleção

Extent and medium

Textuais: 197 itens documentais

Context area

Name of creator

Biographical history

Antonio Mário Antunes Sette nasceu em Pernambuco. Casou-se com Neide Maria Durães Sette, com a qual teve três filhos. Sette, como é conhecido no meio acadêmico, formou-se Bacharel em Matemática pela Universidade Federal de Pernambuco (UFPe) no ano de 1967. Fez seu mestrado na Universidade Estadual de Campinas, sob a orientação do Professor Newton Carneiro Afonso da Costa. Em 1977, doutorou-se pela Universidade de São Paulo, também sob a orientação do Professor da Costa. Iniciou sua atividade profissional em 1966, como professor da Universidade Federal do Rio Grande do Norte. Em 1968, foi contratado pela Pontifícia Universidade Católica do Rio de Janeiro e logo depois, em 1969, pelo Instituto de Matemática Estatística e Ciência da Computação (IMECC) da Unicamp. Voltou à sua cidade natal, para lecionar na UFPe, a partir de 1971. Nessa Universidade, além das atividades acadêmicas, desempenhou também as funções de Vice-Coordenador de Pós-Graduação do Departamento de Matemática e de Chefe desse Departamento, ambos em 1979. Mas, em 1979 recebe um novo convite para lecionar na Unicamp, e aqui permanece até o seu falecimento.Foi orientando do Professor Leopoldo Nachbin, no Instituto de Matemática Pura e Aplicada (IMPA), no Rio de Janeiro. E, quando esteve em Marseille, na França, na década de 70, trabalhou com o Professor R. Fraissé.Membro fundador da Sociedade Brasileira de Lógica (SBL), criada em 14 de fevereiro de 1979, foi seu primeiro Vice-Presidente, durante a gestão de 1979-1980 e Tesoureiro de 1981-1982.Em 1983, titulou-se Professor Livre Docente. Passou a ser membro do Centro de Lógica, Epistemologia e História da Ciência da Unicamp, em 1982.Na Unicamp exerceu alguns cargos administrativos, entre os quais destacamos o de Diretor e Vice-Diretor do IMECC, de 1984 a 1986, o de Presidente da Comissão Deliberativa do Vestibular, de 1986 a 1990 e o de Pró-Reitor de Graduação, no período de 1986 a 1990.Suas pesquisas e trabalhos foram nas áreas de Álgebra da Lógica, Teoria de Modelos, Método Algébrico em Teoria de Modelos, Aspectos Geométricos das Linguagens Lógicas, Traduções e/ou Interpretações entre Lógicas e Lógicas Não-Clássicas.O Professor Antônio Mario Sette integrava o Grupo de Lógica do CLE/ IFCH-Unicamp.
Participou de aproximadamente 20 Seminários e Simpósios, além de inúmeras participações em bancas examinadoras. Muitas de suas publicações foram com seus pares, dentre eles podemos citar: Ayda Ignez Arruda, Itala Maria Loffredo DOttaviano e Walter Alexandre Carnielli, os três da Unicamp, com Newton C. A. da Costa, Rolando Chuaqui, Xavier Caicedo e Daniele Mundici. O XIII Encontro Brasileiro de Lógica, ocorrido na Unicamp em maio de 2003, foi dedicado à sua memória. O Professor Xavier Caicedo, da Universidade de Los Andes-Colômbia, rendeu-lhe homenagens e destacou as atividades desenvolvidas por Mário Sette enquanto membro do CLE e os vários trabalhos que os dois realizaram na área de lógica.

Archival history

Immediate source of acquisition or transfer

Content and structure area

Scope and content

A Coleção AMS traz estudos sobre cálculos proposicionais e lógicas não-clássicas.

Appraisal, destruction and scheduling

Accruals

System of arrangement

Séries, Sub-séries e Dossiês.
DPF - Documentos Pessoais e Funcionais
C - Correspondência
PI - Produção Intelectual
DA - Dossiê Alunos
DPUC - Dossiê PUC-Chile
PT - Produção de Terceiros

Conditions of access and use area

Conditions governing access

Consulta livre mediante cadastro do pesquisador

Conditions governing reproduction

Mediante autorização do Arquivo Histórico/SPCLEARQ

Language of material

    Script of material

      Language and script notes

      Physical characteristics and technical requirements

      Finding aids

      Allied materials area

      Existence and location of originals

      Existence and location of copies

      Related units of description

      Arquivo Central/SIARQ-Unicamp

      Related descriptions

      Notes area

      Alternative identifier(s)

      Access points

      Subject access points

      Place access points

      Name access points

      Genre access points

      Description control area

      Description identifier

      Institution identifier

      Rules and/or conventions used

      Status

      Level of detail

      Dates of creation revision deletion

      Language(s)

        Script(s)

          Sources

          Accession area