Thesis--Universiteit van Amsterdam. / "Litteratuur" : p. [93]-94.

No description available.

Thesis--Amsterdam, 1925.

Thesis (Ph. D.)--University of Wisconsin--Madison, 1968. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliography.

This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using the usual methods of investigation of classical informal logic. Beth models and Kripke models are presented in a manner which does not depend upon a prior definition of the notion of degree of a formula. It is shown that both classes of intuitionistic models are a generalization of the concept of classical models, i.e. they contain classical models as particular case, and that " branching " is a necessary condition in order that intuitionistic logic be complete with respect to them. Intuitionistic sentential calculus is complete with respect to the strong Beth model, the intersection of Beth models and Kripke models. But, if by analogy with the classical case, we extend them to first order logic we find that they are not adequate because, for example, the sentence [formula omitted]x(B(x) V C) [formula omitted] ([formula omitted]xB(x) V C), where C does not contain x free, is valid in these models but not intuitionistically provable. This observation helps to explain the formal differences between the two classes of models. The simplified Kripke models and the simplified Beth models are then introduced and their equivalence with the Kripke models and the Beth models, respectively, is proved. The first ones allow a better notation and a better understanding of the relation R occurring in the definition of Kripke models. The second ones have the important property that, if the domain is finite, any classically valid sentence is valid in them. Finally a semantic proof of most of the reduction theorems from classical to intuitionistic logic is given. / Science, Faculty of / Computer Science, Department of / Graduate

No description available.

No description available.

No description available.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2015-05-08T13:57:59Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Modelo Multicriterio Fuzzy para Melhoria da Eficiencia Energetica.pdf: 2043808 bytes, checksum: f4dca543e1078666e3495a932a4839fe (MD5) / Made available in DSpace on 2015-05-08T13:57:59Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Modelo Multicriterio Fuzzy para Melhoria da Eficiencia Energetica.pdf: 2043808 bytes, checksum: f4dca543e1078666e3495a932a4839fe (MD5) Previous issue date: 2015-02-23 / Responsável pelo consumo de um terço de toda energia produzida e responsável pela emissão de 40% de CO2 no planeta, o setor industrial é um alvo oportuno para o alcance da eficiência energética. A substituição dessas tecnologias por tecnologias eficientemente energéticas promove a indústria ganhos em produtividade, adequação as políticas ambientais e energéticas e outros benefícios. Esta pesquisa tem por objetivo propor a substituição de motores industriais não eficientes, para promover uma melhoria na eficiência energética de uma indústria, por meio do desenvolvimento de modelos multicritério para auxiliar a tomada de decisão. Os modelos propostos são o IF-ELECTRE α e o IF-ELECTRE β, que podem ser aplicados em conjunto para o apoio à tomada de decisão. O primeiro modelo propõe a ordenação das principais tecnologias a serem substituídas em função a sua criticidade. Dado esta ordenação, conforme restrições da empresa, as primeiras tecnologias passaram por uma análise final, assim, o segundo modelo realiza a seleção dessas tecnologias mais críticas para substituição imediata, por meio da captação da percepção otimista/pessimista do decisor, e de acordo com a percepção geral da equipe de planejamento da empresa. Os modelos propostos conseguem mensurar as preferências do decisor de forma menos complexa, dado a conversão do Interval-Valued Fuzzy para o Intuitionistic Fuzzy, captando a imprecisão das informações e a percepção pessimista/otimista do decisor. Como resultado, o modelo propõe a substituição de 4 tecnologias, com um investimento inicial de R$9.520, a empresa economizará 33.655 kWh/ano de energia elétrica, um valor economizado em energia de R$10.096,41/ano, com um investimento inicial de R$9.520 com um retorno dentro de 0,94 ano, gerando uma redução na emissão de 2 de 2.456,79Kg/ano, o equivalente ao plantio de 16 árvores.

No description available.