• Mário Sette
• Antônio Mário Antunes Sette

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.