Nos agronegócios, percebe-se que os agentes econômicos assumem posicionamentos diferentes frente aos mercados, dependendo das transformações observadas no ambiente competitivo. De forma geral, tanto as incertezas ambientais quanto a conduta dos pares econômicos contribuem para a prática de estruturas de governança mais ou menos harmoniosas. Destarte, o objetivo geral da presente pesquisa é desenvolver e testar um modelo de análise dos arranjos de coordenação em cadeias produtivas agroindustriais. A partir do referencial teórico da Economia dos Custos de Transação, pretende-se examinar o papel do ambiente competitivo, dos atributos das transações e das características dos agentes econômicos nos processos decisórios que envolvem arranjos de coordenação. Para tanto, propõe-se o emprego da teoria dos conjuntos fuzzy e da lógica fuzzy como ferramental metodológico, considerando-se como unidade de análise as relações de trocas econômicas. O modelo de análise dos arranjos de coordenação foi desenvolvido com base no método Mamdani, considerando dois níveis de análise. No caso específico do nível secundário, consideraram-se três controladores compreendidos por dez variáveis de entrada. As variáveis de saída dos três controladores do nível secundário compõem o rol das variáveis de entrada do nível principal, que avalia os arranjos de coordenação em cadeias produtivas agroindustriais. O modelo fuzzy de análise dos arranjos de coordenação foi aplicado à cadeia produtiva da erva-mate no Rio Grande do Sul na região do Alto Taquari, que se destaca pela alta produção e pelo significativo número de agentes envolvidos nos processos de comercialização. Para coleta dos dados primários, realizaram-se entrevistas com trinta produtores rurais, além de quatro entrevistas com representantes de agroindústrias da região. As análises das entrevistas indicaram que os menores custos de transação observados são os oriundos das características dos agentes econômicos, ao passo que os custos de transação advindos das características das transações são os mais intensos. Com base nas respostas auferidas dos agricultores e dos representantes das agroindústrias, as relações transacionais são caracterizadas como sólidas e estáveis, em que predominam as estruturas de governança relativamente harmoniosas, como é o caso das ações cooperativas, parcerias de compra e venda, entre outros. Em suma, a conduta dos agentes econômicos aponta para estruturas híbridas de governança, na qual se observa a existência de incentivos para consolidação das transações, balizados por acordos informais e relações de confiança. / In agribusiness, is perceived that economic agents take different positions over markets, depending on the observed changes in the competitive environment. In general, both environmental uncertainties as the conduct of economic pairs contribute to the practice of more or less harmonious governance structures. Thus, the overall objective of this research is to develop and test an analytical model of coordination arrangements in agribusiness supply chains. From the Transaction Cost Economics framework, it is intended to examine the role of competitive environment, the transaction attributes and characteristics of economic agents in decision-making processes involving coordination arrangements. Therefore, it is proposed the use of fuzzy set theory and fuzzy logic as methodological tools, considering the relations of economic exchange as analysis unit. The analysis model of coordination arrangements was developed based on the Mamdani method, considering two levels of analysis. In the specific case of secondary level, controllers with ten input variables were considered. The output variables of the three controllers of secondary level constitute the group of input variables of the main level, which evaluates the coordination arrangements in agribusiness production chains. The fuzzy model for the analysis of coordination arrangements was applied to the production chain of yerba mate in the Alto Taquari region, located in Rio Grande do Sul, which stands out for its high production and the significant number of players involved in the marketing process. To collect the primary data, interviews were conducted with thirty farmers, besides four interviews with representatives of agroindustries in the region. The analysis of the interviews show that the lower transaction costs observed are those that come from the characteristics of economic agents, while transaction costs arising from the transaction characteristics are most intense. Based on the responses from farmers and representatives of agroindustries, transactional relationships are characterized as solid and stable, where the structures of relatively harmonious governance predominate, as in the case of cooperative actions, partnerships sale, among others. In summary, the behavior of economic agents points to hybrid governance structures, where one observes the existence of incentives for consolidation of transaction, guide by informal agreements and confidence relations.

As empresas estão buscando novas estratégias para diminuir os custos e aumentar os lucros dos acionistas e, assim, manter-se no mercado cada vez mais competitivo. O trabalho tem como objetivo apresentar o uso da lógica Fuzzy no modelo TDABC, para diminuir a subjetividade e incerteza, buscando informações mais precisas para auxiliar no planejamento e tomada de decisão. Tendo em vista que a teoria dos conjuntos Fuzzy é conhecida como uma lógica de abordagem que lida com o raciocínio de gerir a incerteza. Como o TDABC tem sido criticado por diversos autores quando se trata de situações incertas pela falta de padronização de algumas atividades, que dificultam a modelagem em termos de equação do tempo. Também são criticados pelos autores os ambientes de produção por encomenda, onde as atividades desse tipo de empresa apresentam grande imprevisibilidade, tanto com relação ao tempo de execução, quanto à intensidade do consumo de recursos. Com o uso da lógica Fuzzy no TDABC podemos reduzir a incerteza e subjetividade buscando informações mais precisas, podendo auxiliar no planejamento e na formação de preços dos produtos. / Companies are seeking new strategies to reduce costs and increase shareholder profits and thus keep the market increasingly competitive. The paper aims to present the use of fuzzy logic in the model TDABC to reduce subjectivity and uncertainty, seeking more precise information to assist in planning and decision making. Given that the theory of fuzzy sets is known as a logical approach that deals with reasoning to manage uncertainty. How TDABC has been criticized by several authors when dealing with uncertain situations by the lack of standardization of some activities that hinder the modeling in terms of the equation of time. Also, are criticized by the authors production environments on demand where activities of the corporation have great unpredictability both with respect to runtime, as the intensity of resource consumption. With the use of fuzzy logic in TDABC can reduce uncertainty and subjectivity seeking more precise information can help in the planning and pricing of products.

[pt] A dissertação investiga, a partir do Tractatus de Wittgenstein, a articulação interna do mundo e da linguagem - a isomorfia - e elucida aquilo que, sendo idêntico aos dois, a saber, a forma lógica, permite a função de representação exercida pela linguagem. Para tanto, estabeleço, com o auxílio da Teoria de Conjuntos, que a isomorfia tractatiana respeita um mecanismo formal de mapeamento dos estados de coisas pelas proposições elementares numa função biunívoca preservadora de relações entre os nomes e os objetos nomeados. Portanto, demonstro a legitimidade do uso do conceito matemático de isomorfismo na interpretação tradicional do Tractatus. A partir disto, defendo a pertinência de se tomar a lógica, tal qual concebida no Tractatus, como uma espécie de metafísica reabilitada em oposição à metafísica tradicional, tomada, por Wittgenstein, como ilegítima. / [en] This dissertation investigates the internal articulation between world and language - the isomorphy - hold by Wittgenstein in his Tractatus. To do so, I determine using the Set Theory that the tractatian isomorphy functions mapping state of affairs in terms of atomic propositions through a peculiar relation between objects and names. As a result, I demonstrate that it is legitimate to use the mathematical concept of isomorphism to interpret Tractatus. According to this, I also defend that logic, as it is assumed by Wittgenstein, can be held as a regenerated metaphysics in contrast to the illegitimacy of the traditional one.

A tomada de decisÃo à um processo cognitivo que conduz à seleÃÃo de um plano de escolha dentre vÃrios. Este pode ser concebido atravÃs do juÃzo de um ou vÃrios indivÃduos, os quais serÃo definidos como agentes. O trabalho em questÃo terà como cerne ambientes onde grupo de indivÃduos atuam simultaneamente influenciando uns aos outros, ou seja, iremos trabalhar com sistemas multiagentes. Dentre a classe de problemas envolvidos pela tomada de decisÃo, destacam-se os Problemas de DecisÃo MulticritÃrio. Estes sÃo uma variaÃÃo dos Problemas de DecisÃo usuais onde a correta tomada de decisÃo se processa atravÃs da apreciaÃÃo de vÃrios critÃrios, os quais sÃo utilizados para descrever o objeto/fato a ser decidido. Para que seja possÃvel a tomada de decisÃo, se faz necessÃrio uma estratÃgia que analise o problema em questÃo, de modo a determinar as alternativas sobre as quais o tomador de decisÃo deverà escolher, avalie cada critÃrio que compÃe a alternativa, diante dos possÃveis valores que estes podem assumir, para, assim, realizar a tomada de decisÃo. Dentre as diversas estratÃgias utilizadas para resolver este tipo de problemas, destacam-se aquelas que usam a LÃgica MatemÃtica como tÃcnica de modelagem e soluÃÃo. Amplamente estudada por pesquisadores vinculados à InteligÃncia Artificial, a LÃgica MatemÃtica utiliza-se de conceitos especÃficos de sua sintaxe e semÃntica para modelar ambientes complexos e estabelecer por mÃtodos especÃficos a tomada de decisÃo. Dentre as abordagens relevantes vinculadas à LÃgica MatemÃtica, destacam-s aquelas que empregam a LÃgica de Primeira Ordem. Inspirado nas LÃgica de PreferÃncias clÃssicas, este trabalho propÃe a LÃgica de Primeira Ordem para problemas de DecisÃo com AgregaÃÃo de PreferÃncias FODPA. Esta à capaz de modelar e resolver Problemas de DecisÃo MulticritÃrio em ambientes multiagentes atravÃs de tÃcnicas relacionadas Ãs LÃgicas com AgregaÃÃo de PreferÃncias e à LÃgica de Primeira Ordem. / Decision making is a cognitive procedure that lead to selection of a plan of choice among several. This can be designed through the judgment of one or more individuals, who are defined as agents. The work in question will have as core environments where several individuals act simultaneously, that is, we will work with multi-agent systems. Among the problems involved by the decision making processes, stand out the Multicriteria Decision Problems. These are a variation of the usual Decision Problems where the correct decision-making processes through the assessment of various criteria, which are used to describe the object / fact to be decided. To be able the correct decision making, a strategy is necessery to analyze the problem, determine the alternatives on which the decision maker must choose, evaluate each criterion that compose an alternative towards the possible values that each criterion can assume, thus, take the decision. Among the several strategies used to solve such problems, stand out those that use the Mathematical Logic as modeling and solution techniques. Extensively studied by researchers in Artificial Intelligence, the Mathematical Logic uses specific concepts of its syntax and semantics to model complex environments and establish decision-making. Inspired by the Classical Preferences Logics, this work aims to propose the First Order Logic for Decison problems with Preference Aggregation {FODPA}. This is able to model and solve Multicriteria Decisiom Problems in multi-agent environments by techniques related to Preferences Logics and the First Order Logic.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / VÃrios problemas computÃveis podem ser resolvidos de maneira mais eficiente ou mais natural atravÃs de algoritmos probabilÃsticos, o que mostra que o uso de tais algoritmos à bastante relevante em computaÃÃo. Entretanto, os algoritmos probabilÃsticos podem retornar uma resposta errada com uma certa probabilidade. Observe, ainda que o uso de algoritmos probabilÃsticos nÃo resolve problemas nÃo computÃveis. A Complexidade Computacional caracteriza a complexidade de um problema a partir da quantidade de recursos computacionais, como espaÃo e tempo, para resolvÃ-lo. Problemas que tem a mesma complexidade compÃem uma classe. As classes de complexidade computacional sÃo relacionadas atravÃs de uma hierarquia. A Complexidade Descritiva usa lÃgicas para expressar os problemas e capturar classes de complexidade computacional no sentido de expressar todos, e apenas, os problemas desta classe. Dessa forma, a complexidade de um problema nÃo depende de fatores fÃsicos, como tempo e espaÃo, mas apenas da expressividade da lÃgica que o define. Resultados importantes da Ãrea mostraram que vÃrias classes de complexidade computacional podem ser caracterizadas por lÃgicas. Por exemplo, a classe NP foi mostrada equivalente à classe dos problemas expressos pelo fragmento existencial da LÃgica de Segunda Ordem. Este estreito relacionamento entre tais Ãreas permite que alguns resultados da Ãrea de LÃgica sejam transferidos para a de Complexidade Computacional e vice-versa. Apesar da importÃncia de algoritmos probabilÃsticos e da Complexidade Descritiva, existem poucos resultados de caracterizaÃÃo, por lÃgicas, das classes de complexidade computacional probabilÃsticas. Neste trabalho, buscamos mostrar caracterizaÃÃes para cada uma das classes de complexidade probabilÃsticas de tempo polinomial. Nos nossos resultados, utilizamos quantificadores generalizados de segunda ordem para simular a aceitaÃÃo das mÃquinas nÃo-determinÃsticas dessas classes. Achamos caracterizaÃÃes lÃgicas na literatura apenas para as classes PP e BPP. No primeiro caso, a lÃgica utilizada era a de primeira ordem adicionada de um quantificador maioria de segunda ordem. Com a abordagem criada neste trabalho, conseguimos obter uma prova alternativa para a caracterizaÃÃo de PP. Com essa mesma metodologia, tambÃm conseguimos caracterizar a classe ⊕P atravÃs de uma lÃgica com um quantificador de paridade. No caso de BPP, existia um resultado que utilizava uma lÃgica com semÃntica probabilÃstica. Usando nossa abordagem de quantificadores generalizados, conseguimos obter uma caracterizaÃÃo alternativa para essa classe. Com o mesmo mÃtodo, conseguimos caracterizar as classes probabilÃsticas semÃnticas RP, coRP, ZPP e a classe semÃntica NP∩coNP. Por fim, mostramos uma aplicaÃÃo dos resultados de Complexidade Descritiva na criaÃÃo de algoritmos atravÃs de uma especificaÃÃo lÃgica. / Many computable problems can be solved more efficiently or in a more natural way through probabilistic algorithms, which shows that the use of such algorithms is quite relevant in Computer Science. However, probabilistic algorithms may return a wrong answer with a certain probability. Also, the use of probabilistic algorithms does not solve problems that are not computable. In Computational Complexity, the complexity of a problem is characterized based on the amount of computational resources, such as space and time, needed to solve it. Problems that have the same complexity compose the same class. The computational complexity classes are related by a hierarchy. In Descriptive Complexity, a logic is used to express problems and capture computational complexity classes in order to express all and only the problems of this class. Thus, the complexity of a problem does not depend on physical factors, such as time and space, but only on the expressiveness of the logic that defines it. Important results of the area states that several classes of computational complexity can be characterized by a logic. For example, the class NP has been shown equivalent to the class of problems expressed by the existential fragment of Second-Order Logic. This close relationship between these areas allows some results about Logics to be transferred to Computational Complexity and vice versa. Despite of the importance of probabilistic algorithms and of Descriptive Complexity, there are few results on the characterization, by a logic, of probabilistic computational complexity classes. In this work, we show characterizations for each of the polinomial time probabilistic complexity classes. In our results, we use second-order generalized quantifiers to simulate the acceptance of the nondeterministic machines of these classes. We found Logical characterizations in the literature only for classes PP and BPP. In the first case, the logic employed was the first-order added by a quantifier most of second-order. With the approach established in this work, we obtain an alternative proof for the characterization of PP. With the same methodology, we also characterize the class ⊕P through a logic with a second-order parity quantifier. In the case of BPP , there was a result that used a logic with probabilistic semantics. Using our approach of generalized quantifiers, we obtain an alternative characterization for this class. With the same method, we were able to characterize the probabilistic semantic classes RP, coRP, ZPP and the semantic class NP ∩ coNP. Finally, we show an application of Descriptive Complexity results in the creation of algorithms from a logic specification.

Orientador: Antonio Carlos Pereira / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Odontologia de Piracicaba / Made available in DSpace on 2018-08-10T00:54:06Z (GMT). No. of bitstreams: 1 Tagliaferro_ElainePereiradaSilva_D.pdf: 1277589 bytes, checksum: 7d18c6a6334732d392cd1f298fe1c272 (MD5) Previous issue date: 2008 / Resumo: A avaliação de risco de cárie é uma ferramenta importante na odontologia, uma vez que favorece o planejamento das ações em saúde com base em evidência científica. Esta tese, composta por dois estudos, teve como objetivos: a) apresentar uma visão geral e atual da avaliação de risco de cárie dentária (Capítulo 1); e b) determinar quais variáveis clínicas, comportamentais, socioeconômicas e demográficas identificaram indivíduos com maior probabilidade de desenvolver incremento de cárie, em estudo longitudinal realizado em um período de sete anos (Capítulo 2). No primeiro estudo, uma revisão da literatura odontológica sobre avaliação de risco de cárie nos últimos 10 anos foi realizada, a fim de identificar os fatores/preditores de risco da doença em crianças e adolescentes. Para isso, uma busca de artigos científicos publicados entre 1997 e 2007 foi conduzida na base de dados MEDLINE. Os estudos foram conduzidos principalmente com escolares (n= 19), seguidos pelas pesquisas realizadas em crianças em idade pré-escolar (n=l1), adolescentes (n=8) e crianças de até dois anos (n=5). A experiência de cárie, condição gengival, contagem microbiológica, hábitos de higiene oral, concentração de minerais no biofilme dental, exposição ao fluoreto, nível socioeconômico e educacional, características demográficas, antropométricas, bem como hábitos bucais, dietéticos e de escovação foram as variáveis estudadas. A experiência passada de cárie foi o preditor dç risco predominante em todas as faixas etárias pesquisadas. Outras variáveis como os hábitos dietéticos, incluindo o consumo de açúcar, e os de escovação também podem ajudar a identificar indivíduos de alto risco de cárie. No segundo estudo, 206 escolares de três escolas de Piracicaba, estado de São Paulo, foram examinados no baseline e após sete anos pelos mesmos cirurgiões-dentistas, previamente calibrados, sob luz natural, usando espelho e sonda e seguindo as recomendações da Organização Mundial da Saúde para levantamentos epidemiológicos em saúde bucal. Os examinadores coletaram dados sobre as seguintes variáveis clínicas: cárie dentária, fluorose, higiene oral e presença de selante. Adicionalmente, informações sobre nível socioeconômico, uso de fluoreto, acesso a serviços odontológicos, hábitos dietéticos e de higiene oral foram obtidas no baseline por meio de questionário semi-estruturado enviado aos pais. Para testar a associação entre o incremento de superficies cariadas, perdidas e obturadas (CPOS) e as variáveis independentes, uma análise univariada foi conduzida utilizando-se o teste de Qui-quadrado ou o Exato de Fisher. A regressão logística múltipla foi usada para obter estimativas de Odds Ratios (OR), seus intervalos de confiança (IC) ao nível de 95% e níveis de significância. O modelo de predição demonstrou que os escolares com experiência de cárie em dentes permanentes (OR=2,49; IC=1,02-6,04; p=0,04) ou em dentes decíduos (OR=2,29; IC=1,24-4,23; p=0,00l), bem como aqueles cuja escolaridade máxima da mãe era de oito anos de estudo (OR=1,88; IC=1,03-3,45; p=0,03) apresentaram probabilidades significativamente superiores de apresentar incremento de CPOS. Os resultados desta tese demonstraram que o nível educacional materno pode identificar os escolares com risco de desenvolver a doença e que as variáveis relacionadas à experiência passada de cárie continuam sendo o principal preditor de risco / Abstract: Caries risk assessment is an important tool for dentistry, because it may help planning health actions based on scientific evidences. This thesis, composed of two studies, aimed to a) present an overview of caries risk assessment (Chapter 1); and b) determine which clinical, behavioral, socioeconomic and demographic variables could identify children with higher probability of developing caries increment in a seven-year longitudinal study (Chapter 2). In the first study, a search of the published English language literature from 1997 to 2007 was made for articles that reported on caries risk assessment in the MEDLINE database. The studies were conducted mainly in schoolchildren (n=19), followed by preschool children (n=11), adolescents (n=8), and infants (n=5). Variables such as caries experience, gingival status, microbiological counts, oral hygiene, plaque mineral concentration, fluoride history, socioeconomic and educationallevel, demographic, anthropometrical, oral, dietary and toothbrushing habits were studied. Past caries experience has been the predominant predictor of caries risk in 0-18-years old subjects. Other predictors such as dietary habits, including sugar intake, and toothbrushing habits may also help to identify high-risk individuals. Variables related to caries experience continue to be the main predictor of caries incremento In the second study, two hundred and six children from three schools in Piracicaba, Brazil, were examined at baseline and after 7 years by the same calibrated dentists in an outdoor setting, under natural light, using a dental mirror and probe following the World Health Organization recommendations for oral health surveys. The examiners collected data on the following clinical variables: dental caries, fluorosis, oral hygiene and presence of sealant. Moreover, information on socioeconomic level, fluoride usage, dental service utilization, dietary and oral hygiene habits was also obtained at baseline by means of a semi-structured questionnaire sent to the parents. In order to evaluate the association between the decayed, filling and missed surfaces (DMFS) increment and independent variables, a univariate analysis was performed using the Chi-square or Fisher exact tests. The multivariate logistic regression was used to estimate the adjusted Odds Ratio (OR), their 95% confidence intervals (C I) and significance levels. The prediction model demonstrated that the schoolchildren with caries experience in permanent (OR=2.49; CI=1.02-6.04; p=0.04) or primary teeth (OR=2.29; CI=1.24-4.23; p=0.001), as well as those whose mothers' educational level was up to eight years of schooling (OR=1.88; CI=1.03-3.45; p=0.03) were more prone to have DMFS increment. The results of this thesis demonstrated that the educational leveI of mothers could identify the schoolchildren at risk of developing the disease and that variables related to past caries experience continue to be the main risk predictor / Doutorado / Saude Coletiva / Doutor em Odontologia

Nos agronegócios, percebe-se que os agentes econômicos assumem posicionamentos diferentes frente aos mercados, dependendo das transformações observadas no ambiente competitivo. De forma geral, tanto as incertezas ambientais quanto a conduta dos pares econômicos contribuem para a prática de estruturas de governança mais ou menos harmoniosas. Destarte, o objetivo geral da presente pesquisa é desenvolver e testar um modelo de análise dos arranjos de coordenação em cadeias produtivas agroindustriais. A partir do referencial teórico da Economia dos Custos de Transação, pretende-se examinar o papel do ambiente competitivo, dos atributos das transações e das características dos agentes econômicos nos processos decisórios que envolvem arranjos de coordenação. Para tanto, propõe-se o emprego da teoria dos conjuntos fuzzy e da lógica fuzzy como ferramental metodológico, considerando-se como unidade de análise as relações de trocas econômicas. O modelo de análise dos arranjos de coordenação foi desenvolvido com base no método Mamdani, considerando dois níveis de análise. No caso específico do nível secundário, consideraram-se três controladores compreendidos por dez variáveis de entrada. As variáveis de saída dos três controladores do nível secundário compõem o rol das variáveis de entrada do nível principal, que avalia os arranjos de coordenação em cadeias produtivas agroindustriais. O modelo fuzzy de análise dos arranjos de coordenação foi aplicado à cadeia produtiva da erva-mate no Rio Grande do Sul na região do Alto Taquari, que se destaca pela alta produção e pelo significativo número de agentes envolvidos nos processos de comercialização. Para coleta dos dados primários, realizaram-se entrevistas com trinta produtores rurais, além de quatro entrevistas com representantes de agroindústrias da região. As análises das entrevistas indicaram que os menores custos de transação observados são os oriundos das características dos agentes econômicos, ao passo que os custos de transação advindos das características das transações são os mais intensos. Com base nas respostas auferidas dos agricultores e dos representantes das agroindústrias, as relações transacionais são caracterizadas como sólidas e estáveis, em que predominam as estruturas de governança relativamente harmoniosas, como é o caso das ações cooperativas, parcerias de compra e venda, entre outros. Em suma, a conduta dos agentes econômicos aponta para estruturas híbridas de governança, na qual se observa a existência de incentivos para consolidação das transações, balizados por acordos informais e relações de confiança. / In agribusiness, is perceived that economic agents take different positions over markets, depending on the observed changes in the competitive environment. In general, both environmental uncertainties as the conduct of economic pairs contribute to the practice of more or less harmonious governance structures. Thus, the overall objective of this research is to develop and test an analytical model of coordination arrangements in agribusiness supply chains. From the Transaction Cost Economics framework, it is intended to examine the role of competitive environment, the transaction attributes and characteristics of economic agents in decision-making processes involving coordination arrangements. Therefore, it is proposed the use of fuzzy set theory and fuzzy logic as methodological tools, considering the relations of economic exchange as analysis unit. The analysis model of coordination arrangements was developed based on the Mamdani method, considering two levels of analysis. In the specific case of secondary level, controllers with ten input variables were considered. The output variables of the three controllers of secondary level constitute the group of input variables of the main level, which evaluates the coordination arrangements in agribusiness production chains. The fuzzy model for the analysis of coordination arrangements was applied to the production chain of yerba mate in the Alto Taquari region, located in Rio Grande do Sul, which stands out for its high production and the significant number of players involved in the marketing process. To collect the primary data, interviews were conducted with thirty farmers, besides four interviews with representatives of agroindustries in the region. The analysis of the interviews show that the lower transaction costs observed are those that come from the characteristics of economic agents, while transaction costs arising from the transaction characteristics are most intense. Based on the responses from farmers and representatives of agroindustries, transactional relationships are characterized as solid and stable, where the structures of relatively harmonious governance predominate, as in the case of cooperative actions, partnerships sale, among others. In summary, the behavior of economic agents points to hybrid governance structures, where one observes the existence of incentives for consolidation of transaction, guide by informal agreements and confidence relations.

Made available in DSpace on 2014-06-12T15:53:19Z (GMT). No. of bitstreams: 2 arquivo1909_1.pdf: 1094258 bytes, checksum: 0313bee566cae55fbe650f2274bb2925 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A apresentação dos N-Grafos foi feita por De Oliveira no ano 2001. Este é um sistema de provas que possui regras lógicas representadas graficamente por meio de digrafos. Estes grafos de provas se baseiam na dedução natural e no cálculo de sequentes de Gentzen, combinando idéias de quatro abordagens geométricas consolidadas na literatura de teoria da prova: tabelas de desenvolvimento (Kneale, 1957), redes-de-prova (Girard, 1987), logical flow graphs (Buss, 1991), e principalmente provas-como-grafos (Statman, 1974). Nesta dissertação é dado prosseguimento ao estudo dos N-grafos que foram propostos para a lógica proposicional clássica, o qual não possui uma versão para a lógica proposicional intuicionista. Realizamos uma revisão dos cálculos para a lógica intuicionista, destacando entre elas o trabalho apresentado por Gentzen na década de 1930, assim como as versões para múltiplas conclusões posteriores a este, como por exemplo o sistema LJ' (Maehara, 1954), os sistemas propostos por Kleene (Kleene, 1964) e o sistema FIL (De Paiva e Pereira, 2005). Assim a intenção desta dissertação é fazer um estudo sobre as dificuldades e possíveis soluções para a construção de um sistema de provas no estilo N-Grafos para a lógica intuicionista. Apresentando assim uma proposta de solução dos N-Grafos para a lógica intuicionista proposicional

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009 / Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Alberto Martins Jorge / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T06:08:51Z (GMT). No. of bitstreams: 1 Fregonezi_MarcoAurelioSeluque_D.pdf: 1915759 bytes, checksum: 98d687449ed74b262089ad5797a9321d (MD5) Previous issue date: 2006 / Resumo: Este trabalho consiste na análise de regras de síntese e minimização de funções digitais multi-valores e na criação de um software para a realização automatizada da síntese empregando as regras criadas e, também, na criação de um software para simulação de portas lógicas e circuitos digitais multi-valores. Todas essas ações são coerentes entre si. A partir de uma tabela verdade, pode-se gerar uma expressão algébrica por meio do software que realiza a síntese; a partir dessa expressão, pode-se construir um circuito no simulador lógico criado para a observação do resultado; pode-se, também, usar um simulador analógico (SPICE ¿, por exemplo) para verificar a viabilidade da implementação física do circuito. Observa-se que o resultado obtido no simulador analógico é igual ao obtido no simulador lógico criado, que também é coerente com a tabela verdade original / Abstract: This work consists in the investigation of rules for synthesis and minimization of digital multi-valued functions; in the creation of a software for automated performing of synthesis applying the proposed rules and also of a software for multi-valued logic gates and circuits simulation. All those features are jointly coherent. Starting with a truth-table, it is possible to generate an algebraic expression using the implemented software; starting from that expression, a circuit can be constructed using the created logic simulator to analyze the result. An analogical simulator (like SPICE ¿, for example) can be used to verify the viability of the circuit physical implementation. It is observed that the result obtained with the analogical simulator is equivalent to the result from the logic simulator; with is also coherent to the given truth table / Doutorado / Eletrônica e Microeletrônica / Doutor em Engenharia Elétrica