[pt] Segerberg apresentou uma prova geral da completude para lógicas proposicionais. Para tal, um sistema de dedução foi definido de forma que suas regras sejam regras para um operador booleano arbitrário para uma dada lógica proposicional. Cada regra desse sistema corresponde a uma linha na tabela de verdade desse operador. Na primeira parte desse trabalho, mostramos uma extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e para lógicas não-determinísticas. Mantemos a ideia de definir um sistema de dedução cujas regras correspondam a linhas de tabelas verdade, mas ao invés de termos um tipo de regra para cada valor de verdade da lógica correspondente, usamos uma representação bivalente que usa a técnica de fórmulas separadoras definidas por Carlos Caleiro e João Marcos. O sistema definido possui tantas regras que pode ser difícil trabalhar com elas. Acreditamos que um sistema de cálculo de sequentes definido de forma análoga poderia ser mais intuitivo. Motivados por essa observação, a segunda parte dessa tese é dedicada à definição de uma tradução entre cálculo de sequentes e dedução natural, onde procuramos definir uma bijeção melhor do que as já existentes. / [en] Segerberg presented a general completeness proof for propositional logics. For this purpose, a Natural Deduction system was defined in a way that its rules were rules for an arbitrary boolean operator in a given propositional logic. Each of those rules corresponds to a row on the operator s truth-table. In the first part of this thesis we extend Segerbergs idea to finite-valued propositional logic and to non-deterministic logic. We maintain the idea of defining a deductive system whose rules correspond to rows of truth-tables, but instead of having n types of rules (one for each truth-value), we use a bivalent representation that makes use of the technique of separating formulas as defined by Carlos Caleiro and João Marcos. The system defined has so many rules it might be laborious to work with it. We believe that a sequent calculus system defined in a similar way would be more intuitive. Motivated by this observation, in the second part of this thesis we work out translations between Sequent Calculus and Natural Deduction, searching for a better bijective relationship than those already existing.

Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese / O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa

There isn t a unique development process suitable for all software projects. Standards and quality models such as ISO/IEC 15504, MPS.BR, CMM and CMMI, recommend the process tailoring to satisfy specific project features. However process tailoring is a complex task because it requires knowledge and expertise of who performs. The incomplete or duplicate process elements selection can generate ambiguities which may disturb the project progress and generate distrust in relation to the tailored process. This dissertation presents a systematic strategy to completeness and internal consistency validation of the elements that are part of the tailored process, call fragments. The aim is to contribute to improving the software development process quality and help the process engineer on the process tailoring task, providing complete and consistent process elements which are prioritized according to the project features. To support the proposed strategy have benn developed: i) ontology to similarity recognition among process; ii) a metamodel for process tailoring; iii) a web toll for complete and consistent process definition. The proposed strategy facilitates the work of the engineer showing which elements are adequate (complete and consistent) to be part of the tailored process and enables the elimination of inconsistences lead to improving the process. / Não existe um modelo de processo de desenvolvimento único para ser adotado para todos os projetos de software. Normas e modelos de qualidade como a norma ISO/IEC 15504, MPS.BR, CMM e o CMMI preconizam que a adaptação de processos seja realizada para satisfazer às necessidades específicas dos projetos. Entretanto, a atividade de adaptar um processo de software é considerada uma tarefa complexa, exigindo conhecimento e experiência de quem a realiza. A seleção de elementos de processo incompletos, ou duplicados podem gerar ambiguidades que podem comprometer o andamento do projeto e gerar desconfiança para com o processo adaptado. Esta dissertação apresenta uma estratégia sistemática para validação da completude e consistência interna dos elementos formadores do processo adaptado, neste trabalho chamados fragmentos. O objetivo é contribuir para a melhoria da qualidade dos processos de desenvolvimento de software adaptados e auxiliar o engenheiro de processos na tarefa de adaptação de processos, fornecendo elementos de processo completos, consistentes e priorizados de acordo com as características do projeto. Para apoiar a proposta, foram desenvolvidas: i) uma ontologia para reconhecimento da similaridade em processos; ii) um metamodelo para adaptação de processos e iii) uma ferramenta web para definição de processos completos e consistentes. A estratégia proposta facilita o trabalho do engenheiro de processos informando para este quais elementos são adequados (completos e consistentes), e possibilita a eliminação de inconsistências levando a melhoria do processo.