71 |
Lógica nebulosa (\'fuzzy\') aplicada na determinação dos parâmetros de trabalho de fornos industriais de têmpera contínua para o aço CK 75. / Fuzzy logic applied in the determination of the parameters of work of industrial furnace of continuos tempering of the steel CK75.José Barbosa Junior 22 November 2006 (has links)
Este trabalho apresenta o projeto de um sistema gerador de \"set-point\" (GSP), utiliza-do na determinação dos parâmetros de trabalho de fornos industriais de têmpera contínua de aços ao carbono, cuja modelagem é baseada na lógica \"fuzzy\". O trabalho é constituído de três etapas básicas: primeiro, estudou-se os princípios metalúrgicos do aço e do processo de têmpera, necessários para o entendimento do problema, tendo como foco no aço CK75 de grande aplicação industrial. Segundo, estudou-se a funcionalidade de todas as partes constitu-intes do forno e seu modo de operação. Na terceira etapa, baseado em entrevistas com os ope-radores e técnicos em metalurgia, considerados especialistas no processo de têmpera, reali-zou-se a modelagem \"fuzzy\". Constatou-se de que forma as partes do forno afetam a trans-formação do aço, as variáveis de entrada e saída relevantes para o GSP e finalmente realizou-se o GSP com o MATLAB®. O modelo foi exaustivamente testado na produção de aço tem-perado, em um dos fornos da empresa Mangels, o que possibilitou sua validação de forma incontestável. / This work presents the project of a generating system of \"set-point\" (GSP), used in the determination of the parameters of work of a process of continuous tempering of carbon steels, whose modeling is based on the \"fuzzy\" logic. The work is made of three basic stages. First of all the principles of metallurgy for the steel and temper process, which are necessary for the understanding of the problem are studied. It is focused in the steel CK75 of great in-dustrial application. In the second stage, the functionality of all parts of the furnace and its operation way is studied. In the last stage a \"fuzzy\" modeling is accomplished, based on inter-views with the operators and technicians in metallurgy, who are considered specialists in the temper process. It is identified how the parts of the oven affect the transformation of the steel, variable input and output relevant to GSP. Finally will use the GSP with MATLAB® is car-ried out. The model was tested in exhaustive way in one of the furnace of the company Man-gels what made its incontrovertible validation possible.
|
72 |
Estudos sobre a lógica paraconsciente DL e aplicações em Direito / Studies about DL paraconsistent and applications in LawSaul Gurfinkel Marques de Godoy 09 September 2009 (has links)
O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica. / The development of Paraconsistent logical systems has enhanced our analytical power and deepened our understanding of non-classic logic systems. It also has rendered applications in many fields, notably in Law. Although classical logic is accepted as a valuable mechanism to analyze problems in the realm of legal studies, there are stronger frameworks such as the DL calculus, which encompasses classical logic and therefore the silogism, widely accepted in legal reasoning. My chief aim is to present an overview of the DL paraconsistent calculus, a system developed by da Costa and Wolf, based on the work of McGuill and Parry. I will also show how this system may be applied as a tool in solving problems relating lawlogic and how the formalization of these problems allows for hermeneutical analysis.
|
73 |
Um estudo de C omega em calculo de sequentes e dedução naturalMoura, José Eduardo de Almeida 27 July 2018 (has links)
Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1
Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5)
Previous issue date: 2001 / Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal / Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition / Doutorado / Doutor em Filosofia
|
74 |
\"Combinações de lógicas modais não-normais\" / \"Combinations of non-normal modal logics\"Rogerio Augusto dos Santos Fajardo 13 August 2004 (has links)
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal. / In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.
|
75 |
Igreja Universal do Reino de Deus : uma analise de argumentação em perspectiva discursivaOliveira, Sheila Elias de, 1972- 27 February 1998 (has links)
Orientador: Eduardo Roberto Junqueira Guimarães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-07-23T22:45:27Z (GMT). No. of bitstreams: 1
Oliveira_SheilaEliasde_M.pdf: 3517231 bytes, checksum: ea17f4387e4f58f38664176ef6faf226 (MD5)
Previous issue date: 1998 / Resumo: Este trabalho consiste em uma análise da argumentação dos pastores da Igreja Universal do Reino de Deus em dois programas de TV exibidos pela Rede Record ¿ O Santo Culto em seu Lar, que traz como tema 'ser cristão', e Palavra de Vida, com o tema 'prosperidade'. Nosso ponto de vista teórico é o da Semântica Histórica da Enunciação, tal como a apresenta Eduardo Guimarães. Essa perspectiva, que se filia à Escola de Análise de
Discurso Francesa, preconiza que os sentidos de uma enunciação são constituídos em lugares de significação historicamente construídos - os discursos. A partir da consideracão do histórico como constitutivo dos sentidos, o dizer é analisado em dois níveis - o de sua constituição, que é o espaço interdiscursivo, e o de sua formulação, aquele em que o sujeito verbaliza os seus sentidos. A argumentação, que se dá no espaço da formulação textual, é efeito da relação de discursos; as intenções do sujeito falante ao argumentar se constituem a partir de sua memória histórica, dos lugares de significação discursivos que ele ocupa necessariamente, ainda que de forma inconsciente. Para nós, portanto, argumentar não é persuadir ou convencrr; argumentar é direcionar o dizer, unificar a interpretação, em gestos que produzem o efeito de que o que foi dito: 1) só poderia ter sido formulado daquela maneira e 2) se origina no indivíduo, e não como processo histórico de significação. Em nosso corpus, identificamos um procedimento semântico de construção da argumentação - o mecanismo definitório, realizado por meio de predicados. Os pastores definem (e, ao definir, constróem como referentes) alguns conceitos-chave na argumentação da Igreja Universal, tais como os de 'Deus', 'diabo', 'cristão carnal', 'cristão verdadeiro', 'prosperidade', etc. As definições são formuladas por dois tipos de predicados, que classificamos a partir de seu funcionamento enunciativo: os predicados parafrásticos e os exegéticos. Os predicados parafrásticos fazem ressoar os sentidos uns dos outros e/ou dos referentes que constróem; os exegéticos dão visibilidade social a esses referentes. Juntos, os predicados vão-se articulando em argumentos e conclusões, formando uma teia argumentativa. Na análise intertextual entre os dois programas, observamos que os referentes assumem novos sentidos, de acordo com as condições de produção de cada um dos programas. O Santo Culto em seu Lar é gravado a partir de um culto na sede nacional da Igreja Universal; Palavra de Vida é feito para TV e exibido ao vivo. Essa diferença marca uma mudança nos sujeitos interlocutores dos pastores - no primeiro programa, já fiéis; no segundo, primordialmente fiéis potenciais. A partir dessa alteração, os objetivos dos programas são diferenciados e os sentidos dos referentes que contróem a argumentação são outros. Em cada um dos programas e entre um e outro, identificamos contradições argumentativas. O direcionamento do sentido se dá a partir das fundações discursivas majoritárias - os discursos capitalista e liberal. As contradições são um indício de que a argumentação não garante a persuasão, uma vez que a Universal, a Igreja evangélica que mais cresce no Brasil, se sustenta em um dizer contraditório / Abstract: This dissertation consists of an analysis of the argumentation of the priests of the Universal Church ofthe Kingdom ofGod in two programs shown at Record TV: Network - The Holy Service in your Home, whose subject is 'being a Christian', and Word of life, whose subject is prosperity. Our theorical viewpoint is the one of the Historical Semantics of the Utterance Act, as it is presented by Eduardo Guimarães. This approach which is affiliated to the French School ofDiscourse Analysis takes the meaning of an utterance act as constituted
in historically-built places - the discourses. With the consideration of history as constituent of meaning, speech is analysed on two levels - the one of its constitution, which is called interdiscourse, and the one of its formulation, that on which the subject verbalizes his mearungs. Argumentation, which takes place on the level of formulation, is an effect of the relation between discourses; the intentions of the subject when arguing are constituted in his historical memory, in positions of meaning that he necessarily takes, although uncounsciously. Thus in our perspective arguing is not persuading or convincing someone; it is the direction of speech, the unification of interpretation in gestures that produce the effect that what was said: 1) could only have been formulated in that way, and 2) was originated in the individual, and not as a historical process of meaning. In our corpus we identified a semantic procedure in the building of argumentation a mechanism of definition which is carried out through predication. The priests define (and by defining they build as referents) some key-concepts in the argumentation of the Universal Church, such as 'God', 'devil', 'carnal Christian', 'true Christian', 'prosperity', etc. The definitions are formulated by means of two kinds of predicates: paraphrastic and exegetic. Paraphrastic predicates resound with the meanings of each other and/or of the referents they build. Exegetic predicates give social visibility to these referents. Together both kinds of predicates work as arguments and conclusions, making an argumentative
web.In the intertextual analysis between the two programs we observed that the referents take new meanings according to the conditions of production of each of the programs. The Holy Service in your Home is recorded in a service in the national headquarters of the Universal Church; Word oi Life is made for TV exhibition and is
shown live. This difference brings a change in the interlocutors of the priests - in the first program, they are the congregation of the church; in the second, they are a potential congregation. With this change the aims of the programs are also different and the referents which build argumentation mean differently. On each program and between the two of them we identified contradictions in the argumentation. The directing of meaning is set off in basically two places of meaning constitution - capitalist and liberal discourses. The contradictions are an indication that argumentation does not assure persuasion, since The Universal Church, the evangelic religion which grows fastest in Brazil, is founded upon a contradictory speech / Mestrado / Mestre em Linguística
|
76 |
Avances en teoría de modelos : lógicas de primer orden y teoría paraconsistente de conjuntosSlagter, Juan Sebastián 25 August 2023 (has links)
Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las
mismas; que bajo condiciones específicas, este teorema se le puede presentar una prueba
unificada. En esta tesis, mostramos que esta noción de congruencia maximal está íntimamente ligada a la noción de teorías maximales de Henkin para ciertas familias de lógicas
de la literatura de lógicas algebraicas. Para ver esta relación, estudiamos la clase de álgebras de Hilbert n-valoradas con supremo enriquecidas con operadores de Moisil. Para esta
clase de álgebras, presentamos un cálculo proposicional y de primer orden correctos y
completos. Además, mostramos cómo funciona esta relación para lógicas de variedades
semisimples estudiadas en la escuela de Monteiro. Ampliando el alcance de las aplicaciones, presentamos resultados de correctitud y completitud para lógicas paraconsistentes
de primer orden a través de una semántica matricial no determinista. A pesar de que
estas lógicas no son algebraizables con el método general de Blok-Pigozzi, presentan un
comportamiento algebraico que nos permite dar una presentación simplificada.
Por otro lado, construimos modelos valorados sobre estructuras de Fidel siguiendo la
metodología desarrollada para modelos valorados de Heyting; recordemos que las estructuras de Fidel no son álgebras en el sentido del álgebra universal. Tomando modelos que
verifican la ley de Leibniz, podemos probar que todos los axiomas de la teoría de conjuntos
de ZF son válidos sobre estos modelos. La prueba se basa fuertemente en la existencia de
modelos paraconsistentes de la ley de Leibniz. En este escenario, se discute la dificultad
de tener modelos de ley algebraicos paraconsistentes para fórmulas con negación usando
el mapeo interpretación estándar, mostrando que la existencia de modelos de la ley de
Leibniz es esencial para obtener modelos para ZF. / Antonio Monteiro gave a characterization of maximal congruences in certain semisimple varieties in order to present a representation theorem for them. Under specific
conditions, this theorem can be presented with the same proof for every semisimple variety considered by him. In this thesis, we show that this notion of maximal congruence
is closely linked to Henkin’s notion of maximal theories for certain families of logics from
the literature of algebraic logic. To see this relation, we study the class of n-valued Hilbert
algebras with supremum enriched with Moisil operators. For this class of algebras, we present a sound and complete propositional and first-order calculus. Moreover, we show how
this relation works for logics from semisimple varieties studied in the Monteiro’s school.
Extending the scope of applications, we present soundness and completeness results for
some first-order paraconsistent logics through non-deterministic matrix semantics. Despite the fact that these logics are not algebraizable with the Blok-Pigozzi’s method, they
display an algebraic behaviour that allows us to give a simplified presentation.
On the other hand, we build Fidel-structures valued models following the methodology
developed for Heyting-valued models; recall that Fidel structures are not algebras in the
universal algebra sense. Taking models that verify Leibniz law, we are able to prove that
all set-theoretic axioms of ZF are valid over these models. The proof is strongly based
on the existence of paraconsistent models of Leibniz law. In this setting, the difficulty
of having algebraic paraconsistent models of law for formulas with negation using the
standard interpretation map is discussed, showing that the existence of models of Leibniz
law is essential to getting models for ZF.
|
77 |
Monotonía, no monotonía y semimonotonía : una perspectiva filosófica y metalógicaOlivarez Stagnaro, Damián 18 October 2021 (has links)
Una de las nociones fundamentales en el ámbito de la lógica no monótona (LNM) es
precisamente el propio concepto de no monotonía, que constituye, según K. Schlechta,
una propiedad de sistemas con plenos derechos. Por ello, resulta curioso que, en un campo
teórico tan prolífico en formalismos y simbolismos matemáticos, no se disponga de un
axioma, teorema o definición de la propiedad de monotonía en términos estrictamente
formales, al modo de las propiedades metamatemáticas y metalógicas usuales de los
sistemas de lógica simbólica (en cualquiera de sus enfoques, clásicos o no clásicos).
Incluso, en textos de metalógica sobre LNM se han investigado una serie de propiedades,
denominadas centrales, que sí tienen aquellas características. Un lógico del calibre de D.
Gabbay, creador de tales propiedades, las consideraba como sustitutos de una definición
estricta de no monotonía. Sin embargo, una por una, las propiedades centrales han sido
puestas en cuestión o directamente derribadas mediante contraejemplos, en la bibliografía
del área. Ante este panorama, el problema de una definición estricta de la propiedad de
no monotonía adquiere una relevancia creciente, desde el punto de vista filosófico (de
filosofía de la lógica). En esta tesis, se aborda ese problema siguiendo un camino que
comienza por un análisis minucioso de la propiedad de monotonía de la lógica estándar.
Luego, se avanza en el estudio de algunas descripciones y definiciones informales y
semiformales de no monotonía, que resultan representativas de las que suelen encontrarse
en la bibliografía de LNM. Asimismo, se abordan algunas de las objeciones a las
propiedades centrales. A partir de este análisis, se realiza una propuesta de definición
estrictamente formal de la propiedad de no monotonía, de carácter universal y
metamatemático, con recurso a herramientas de lógica modal. La misma puede
interpretarse semánticamente mediante teoría de modelos en la tesitura del sistema modal
𝑇���, como así también mediante teoría de modelos preferenciales. Posteriormente, se
profundiza en el enfoque preferencial de LNM, a fin de mostrar de qué modo pueden ser
restauradas las propiedades centrales, como condiciones de coherencia de los sistemas
basados en modelos preferenciales. Tales condiciones parecen conducir a la búsqueda de
un conjunto de propiedades que reflejen una estabilidad relativa de los agentes racionales.
A partir de esta idea, se configura una nueva propuesta que parte de la definición estricta
de no monotonía, y de una conjetura del razonador semimonótono, que desemboca en la
formulación de una nueva propiedad metamatemática asociada a no monotonía: la
propiedad de semimonotonía. Esta última condición, que pretende reflejar el
comportamiento de un tipo particular de razonadores que normalmente no eliminan
conclusiones previamente obtenidas, es interpretada en términos modelo-teoréticos con
recurso a la estructura de ideales, dentro de la teoría de filtros. Con la labor analítica
previa y la formulación de definiciones metamatemáticas de las propiedades monotonía
y semimonotonía, el autor espera contribuir a mejorar los fundamentos metalógicos y
filosóficos de la lógica no monótona. / One of the fundamental notions in the field of non-monotonic logic (LNM) is precisely
the concept of non-monotony itself, which, according to K. Schlechta, constitutes a
property of systems, with full rights. For this reason, it is curious that, in a theoretical field
so prolific in mathematical formalisms and symbolisms, there is no axiom, theorem or
definition of the property of non-monotony in strictly formal terms, in the way of the
usual metamathematical and metalogical properties of symbolic logic systems (in any of
its approaches, classical or non-classical). Even in metalogical texts on LNM, a set of
properties have been investigated, called core properties, which do have those
characteristics. A logician of the height of D. Gabbay, creator of such properties, regarded
them as substitutes for a strict definition of non-monotony. However, one by one, the core
properties have been called into question in the area literature, or outright knocked down
by counterexamples. At this background, the problem of a strict definition of the property
of non-monotony acquires increasing relevance, from the philosophical point of view (in
philosophy of logic). In this thesis, this problem is approached by following a path that
begins with a careful analysis of the monotony property of standard logic. Then, it
advances in the study of some informal and semi-formal descriptions and definitions of
non-monotony which are representative of those typically found in the literature of NML.
In addition, some of the objections to the core properties are commented. From this
analysis, a proposal for a strictly formal definition of the property of non-monotony is
made, in a universal and meta-mathematical fashion, with recourse to modal logic tools.
It can be interpreted semantically through model theory in the T modal system tessitura,
as well as through preferential model theory. Subsequently, the preferential approach of
NML is analyzed with relative depth, to show how the core properties can be restored, in
the way of coherence conditions of systems based on preferential models. Such
conditions seem to lead to the search for a set of properties that reflect a relative stability
of rational agents. From this idea, a new proposal is configured that starts from the strict
definition of non-monotony, and from a conjecture of the semi-monotonic reasoner,
which leads to the formulation of a new metamathematical property associated with nonmonotony:
the property of semi-monotony. This last condition, which aims to reflect the
behavior of a particular type of reasoners who normally do not eliminate previously
obtained conclusions, is interpreted in model-theoretical terms with recourse to the
structure of ideals, within the theory of filters. With the previous analytical work and the
formulation of meta-mathematical definitions of the monotony and semi-monotony
properties, the author hopes to contribute to improve the metalogical and philosophical
foundations of NML.
|
78 |
Un estudio algebraico de operadores temporales definibles en versiones algebraicas de diversas lógicasPelaitay, Gustavo Andrés 27 March 2015 (has links)
El volumen que aquí presentamos está organizado en cinco capítulos. En
el primero se describen resultados conocidos que facilitarán la lectura de la
tesis, el mismo no tiene pretenciones de originalidad.
El Capítulo 2 está organizado en tres secciones. En la primera sección investigamos
la variedad de álgebras que hemos denominado álgebras de
De Morgan temporales, como una generalización natural de las álgebras de
Boole temporales. En esta sección nuestro principal interés es la teoría de representación
para esta clase de álgebras. La Sección 2.1 está organizada como
sigue:
En la Subsección 2.1.1 definimos la variedad de las álgebras de
De Morgan temporales, introducimos algunos ejemplos y probamos algunas
propiedades. En la Subsección 2.1.2 damos un teorema de representación para
las álgebras de De Morgan temporales en términos de las álgebras de
De Morgan temporales de conjuntos usando un conocido teorema de representación
para las álgebras de De Morgan. En la Subsección 2.1.3 describimos
una dualidad topológica para las álgebras de De Morgan temporales, extendiendo
la dualidad dada por Cornish y Fowler en [42] para las álgebras de De
Morgan. Finalmente, en la Subsección 2.1.4 caracterizamos el retículo de las
congruencias de estas álgebras en términos de la dualidad antes mencionada
y de ciertos subconjuntos cerrados del espacio asociado con él. Los resultados
de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J.
IGPL 22, 2, 255–267. 2014.
La segunda sección está compuesta por dos subsecciones. En la primera
obtenemos una dualidad discreta para las álgebras de Łukasiewicz-Moisil nvaluadas
teniendo en cuenta los resultados indicados por Dzik, Orłowska y
van Alten en 2006 para las álgebras de De Morgan [49]. En la segunda subsección
extendemos la dualidad discreta dada para las álgebras de Łukasiewicz-
Moisil n-valuadas al caso de las álgebras de Łukasiewicz-Moisil n−valuadas
temporales. Los resultados de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras.
Fund. Inform., 136. 1–13. 2015.
La tercer sección está dividida en tres subsecciones. En la Subsección
2.3.1 repasamos definiciones y resultados conocidos sobre las álgebras tetravalentes
modales que nos serán de utilidad en las subsecciones siguientes. También
mostramos que las álgebras de De Morgan con implicación definidas por
Kondo en [102] son polinomialmente equivalentes a las álgebras tetravalentes
modales contrapositivas definidas por Figallo y Landini en [58] y estudiadas recientemente
por Coniglio y Figallo en [40]. En la Subsección 2.3.2 obtenemos
dos dualidades discretas diferentes para las álgebras tetravalentes modales. Finalmente,
en la última subsección definimos la variedad de las álgebras tetravalentes
modales temporales como una generalización común de las álgebras de
Boole temporales y las álgebras de Łukasiewicz-Moisil 3−valuadas temporales.
El resultado más importante de esta subsección es la obtención de una dualidad
discreta para esta nueva clase de álgebras.
El Capítulo 3 está organizado en cinco secciones. La primera está dedicada
al estudio de las álgebras de Łukasiewicz-Moisil n ×m−valuadas definidas
por Figallo y Sanza en [60]. Esta sección se divide en cinco subsecciones.
En la Subsección 3.1.1. repasamos un ejemplo que nos permite legitimar
el estudio de las álgebras de Łukasiewicz-Moisil n × m-valuadas. En la
Subsección 3.1.2 recordamos definiciones y resultados que nos serán de utilidad
para lo que sigue. En la Subsección 3.1.3 introducimos nuevos conectivos
de implicación y probamos algunas propiedades básicas de estos conectivos.
En la Subsección 3.1.4 recordamos la definición de álgebra de Łukasiewicz-
Moisil n ×m−valuada monádica. Estas álgebras fueron definidas por Figallo y
Sanza en [69]. Finalmente, en la última subsección definimos la clase de las álgebras
de Łukasiewicz-Moisil n ×m−valuadas poliádicas. Estas álgebras, para
el caso m = 2, coinciden con las álgebras de Łukasiewicz-Moisil n−valuadas
poliádicas [7]. El principal resultado de esta subsección es un teorema de representación
para las álgebras de Łukasiewicz-Moisil n ×m−valuadas poliádicas.
La Sección 3.2 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil temporales débiles definidas por Figallo y Pelaitay en [78]. Esta sección
está dividida en cuatro subsecciones.
En la Subsección 3.2.1 introducimos la variedad de las álgebras de
Łukasiewicz-Moisil temporales débiles como una generalización común de las
álgebras de Boole temporales débiles y de las álgebras de Łukasiewicz-Moisil
n−valuadas temporales débiles. En la Subsección 3.2.2, basados en la noción
de marco débil, damos un ejemplo de álgebra de Łukasiewicz-Moisil temporal
débil que será de utilidad en lo que sigue. En la Subsección 3.2.3 probamos
un teorema de representación para las álgebras de Łukasiewicz-Moisil temporales
débiles. Finalmente, en la última subsección nos dedicamos al estudio de
las congruencias en un álgebra de Łukasiewicz-Moisil n ×m−valuada temporal
débil. Estos resultados nos permitieron caracterizar las álgebras simples y
subdirectamente irreducibles de la variedad antes mencionada.
La Sección 3.3 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil n ×m−valuadas temporales definidas por Figallo y Pelaitay en [79]. Esta
sección está dividida en cuatro subsecciones.
En la Subsección 3.3.1 introducimos la variedad de las álgebras de
Łukasiewicz-Moisil temporales como una generalización común de las álgebras
de Boole temporales y de las álgebras de Łukasiewicz-Moisil n−valuadas
temporales. En la Subsección 3.3.2, basados en la noción de marco, damos un
ejemplo de álgebra de Łukasiewicz-Moisil temporal que será de utilidad en lo
que sigue. En la Subsección 3.3.3, probamos un teorema de representación para
las álgebras de Łukasiewicz-Moisil temporales; como corolario de este teorema
obtenemos el teorema de representación dado porDiaconescu yGeorgescu
en [43] para las álgebras de Łukasiewicz-Moisil n−valuadas temporales. Finalmente,
en la última subsección nos dedicamos al estudio de las congruencias
en un álgebra de Łukasiewicz-Moisil n ×m-valuada temporal. Estos resultados
nos permitieron caracterizar las álgebras simples y subdirectamente irreducibles
de la variedad antes mencionada.
La Sección 3.4 está dedicada al estudio de las álgebras de Łukasiewicz-
Moisil n ×m−valuadas poliádicas temporales débiles. Esta sección está dividida
en dos subsecciones.
En la Subsección 3.4.1 introducimos la clase de las álgebras de
Łukasiewicz-Moisil n ×m−valuadas poliádicas temporales débiles como una
generalización común de las álgebras de Boole poliádicas temporales débiles y
las álgebras de Łukasiewicz-Moisil n−valuadas poliádicas temporales débiles.
También, basados en la noción de sistema temporal débil, damos un ejemplo
de álgebra de Łukasiewicz-Moisil n ×m−valuada poliádica temporal débil. El
resultado más importante de la segunda subsección es un teorema de representación
para las álgebras de Łukasiewicz-Moisil temporales débiles.
En la última subsección definimos la clase de las álgebras de Łukasiewicz-Moisil n×m−valuadas poliádicas temporales y damos un ejemplo basándonos
en la noción de sistema temporal.
Algunos de los resultados de este capítulo han sido aceptados para su
publicación en
A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued
Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015.
A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with
two modal operators. South American Journal of Logic. 2015.
También han sido presentados y expuestos en
A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de
Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio
Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32.
El Capítulo 4 está organizado en tres secciones. La primera sección está
dedicada al estudio de operadores temporales sobre álgebras de Heyting. Esta
sección se divide en seis subsecciones. En la primera subsección mostramos
que la axiomatización algebraica dada por Chajda en [24] de los operadores
temporales F y P en la lógica intuicionista no se ajusta a la definición de
Halmos de cuantificador existencial. En la segunda subsección introducimos
la variedad de las I K t −álgebras, mostramos algunos ejemplos y probamos algunas
propiedades. En la tercera subsección probamos que el sistema IKt de la
lógica temporal intuicionista introducido por Ewald en [52], tiene a las I K t −álgebras
como contraparte algebraica. En la cuarta subsección describimos una
dualidad discreta para las I K t −álgebras teniendo en cuenta los resultados indicados
por Orłowska y Rewitzky en [124] para las álgebras de Heyting. En la
quinta subsección damos una construcción general de los operadores temporales
sobre un álgebra de Heyting completa por medio de los llamados marcos
de Heyting. Finalmente, en la última subsección introducimos la noción de
sistema deductivo temporal, la cual nos permite determinar el retículo de las
congruencias en una I K t −álgebra y caracterizar las álgebras simples y subdirectamente
irreducibles de la variedad IKt.
Los resultados de esta sección fueron publicados en
A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators.
Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic
tense logic. Soft Computing. 18, 10, 1873–1883. 2014.
También han sido presentados en
A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV
Congreso Lationoamericano deMatemáticos, Córdoba, 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th
Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro,
Brazil, 2013.
La segunda sección está dedicada al estudio de operadores temporales
sobre álgebras de Heyting simétricas. Esta sección está dividida en tres subsecciones.
En la primera definimos la variedad de las álgebras de Heyting simétricas
temporales, damos un ejemplo y probamos algunas propiedades. En la segunda
subsección obtenemos una dualidad discreta para las álgebras de
Heyting simétricas temporales teniendo en cuenta las indicadas en [49] para
las álgebras de De Morgan y en [124] para las álgebras de Heyting. En la tercer
subsección describimos un cálculo proposicional que tiene a las álgebras de
Heyting simétricas temporales como contraparte algebraica. Los resultados de
esta sección fueron publicados en
A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH−algebras. Commun.
KoreanMath. Soc., 27, 1, 47–56. 2012.
30
También fueron presentados y expuestos en
A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras
de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina.
Índice de Comunicaciones Científicas. Mar del Plata, Septiembre
2009.
A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras
deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática
Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre
2010. La tercera sección está dedicada al estudio de operadores temporales sobre
álgebras de Heyting simétricas de orden n (o SHn−álgebras para abreviar) .
Esta sección está dividida en tres subsecciones. En la primera subsección definimos
la variedad de las SHn-álgebras temporales, damos un ejemplo y probamos
algunas propiedades. En la segunda subsección obtenemos una dualidad
discreta para las SHn-álgebras temporales teniendo en cuenta las indicadas en
[124] para las SHn-álgebras. En la tercera subsección describimos un cálculo
proposicional que tiene a las SHn-álgebras temporales como contraparte algebraica.
Los resultados de esta sección fueron publicados en:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal
of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011.
A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser.
Mat. Inform., 38, 4, 24–32. 2011.
También fueron presentados y expuestos en:
A. V. Figallo, G. Pelaitay. Tense operators on SHn−algebras, 16th Brazilian
Logic Conference, Petropolis, Brazil, 2011.
El Capítulo 5 consiste en una breve enumeración de los posibles desarrollos
futuros. / The volume presented here is organized in five chapters. In the first, with
no claim to originality, we describe some known results that will facilitate the
reading of the thesis.
Chapter 2 is organized in three sections. In the first we investigate the
variety of algebras that we have called tense De Morgan Algebras as a natural
generalization of tense Boolean algebras. In this section our main interest is
the representation theory for this class of algebras. Section 2.1 is organized as
follows: In Subsection 2.1.1 we define the variety of tense De Morgan algebras,
introduce some examples and prove some properties. In Subsection 2.1.2 we
give a representation theorem for tense De Morgan algebras in terms of tense
De Morgan algebras of sets by using a well-known representation theorem for
De Morgan algebras. In Subsection 2.1.3 we describe a topological duality for
tense De Morgan algebras, extending the duality given by Cornish and Fowler
in [42] for De Morgan algebras. Finally, in Subsection 2.1.4 we characterize the
congruences lattice of these algebras in terms of the duality mentioned before
and certain closed subsets of the space associated with them.
The results obtained in this section were published in
A. V. Figallo, G. Pelaitay. Tense operators on De Morgan algebras. Log. J.
IGPL 22, 2, 255–267. 2014.
The second section consists of two subsections. In the first we obtain a
discrete duality for the n-valued Łukasiewicz-Moisil algebras taking into account
the results indicated by Dzik, Orłowska and van Alten in 2006 forDeMorgan
algebras [49]. In the second subsection we extend the discrete duality given
for n-valued Łukasiewicz-Moisil algebras to the case of the tense n-valued
Łukasiewicz–Moisil algebras. The results of this sections were published in
A. V. Figallo, G. Pelaitay. Discrete duality for tense Łukasiewicz–Moisil algebras.
Fund. Inform., 136. 1–13. 2015.
The third section is divided into three subsections. In Subsection 2.3.1
we review definitions and known results on tetravalent modal algebras which
will be useful in the subsequent subsections. We also show that De Morgan algebras
with implication defined by Kondo in [102] are polynominally equivalent
to the contrapositive modal tetravalent algebras defined by Figallo and
Landini in [58] and recently studied by Coniglio and Figallo in [40]. In Subsection
2.3.2 we obtain two different discrete dualities for the tetravalent modal
algebras. Finally, in the last subsection we define the variety of tense tetravalent
modal algebras as a common generalization of tense Boolean algebras and
tense n−valued Łukasiewicz-Moisil algebras. The most important result in this
subsection is having obtained a discrete duality for these new algebras.
Chapter 3 is organized into five sections. The first is devoted to the study
of the n × m-valued Łukasiewicz-Moisil algebras defined by Figallo and
Sanza in [60]. This section has been subdivided into five subsections. In Subsection
3.1.1we review an example which has allowed us to legitimate the study
of the n ×m-valued Łukasiewicz-Moisil algebras. In Subsection 3.1.2 we recall
definitions and results which will be useful for what follows. In Subsection
3.1.3 we introduce new implication connectives and prove some of their
basic properties. In Subsection 3.1.4 the definition of monadic n ×m−valued
Łukasiewicz–Moisil algebra is reviewed. These algebras were defined by Figallo
and Sanza in [69]. Finally, in the last subsection we define the class of polyadic
n ×m-valued Łukasiewicz-Moisil algebras. These algebras, for the case of m =
2, they coincide with polyadic n−valued Łukasiewicz-Moisil algebras [7]. The
main result of this subsection is a representation theorem for polyadic n ×
m−valued Łukasiewicz-Moisil algebras. Section 3.2 is focused on the study of
weak-tense n ×m−valued Łukasiewicz-Moisil algebras defined by Figallo and
Pelaitay in [78]. This section is divided into four subsections. In Subsection
3.2.1 we introduce the variety of weak-tense n ×m−valued Łukasiewicz-Moisil
as a common generalization of weak-tense Boolean algebras and weak-tense
n−valued Łukasiewicz-Moisil algebras. In Subsection 3.2.2, based on the notion
of weak frame, we provide an example of weak-tense n × m−valued
Lukasiewicz-Moisil algebras to bear into consideration for further analysis. In
Subsection 3.2.3 we prove a representation theorem for weak-tense n × mvalued
Łukasiewicz-Moisil algebras. Finally, in the last subsection we focus on
the study of congruences in a weak-tense n ×m−valued Łukasiewicz-Moisil
algebra. These results allowed us to characterize simple and subdirectly irreducible
algebras from the previously mentioned variety. Section 3.3 is focused
on the study of tense n ×m−valued Łukasiewicz-Moisil algebras defined by
Figallo and Pelaitay in [79]. This section is divided into four subsections. In
Subsection 3.3.1 we introduce the variety of tense n ×m−valued Łukasiewicz-
Moisil algebras as a common generalization of tense Boolean algebras and tense
n−valued Łukasiewicz-Moisil algebras. In Subsection 3.3.2, based on the notion
of frame,we provide an example of tense n×m−valued Łukasiewicz-Moisil
algebras, necessary for later analysis. In Subsection 3.3.3, we proved a representation
theorem for tense n ×m−valued Łukasiewicz-Moisil algebras; as a
corollary of this theorem we obtain the representation theorem provided by
Diaconescu and Georgescu in [43] for tense n−valued Łukasiewicz-Moisil algebras.
Finally, in the last subsection we focus on the study of congruences in
a tense n ×m−valued Łukasiewicz-Moisil algebras. These results allowed us to characterize simple and subdirectly irreducible algebras from the variety previously
mentioned. Section 3.4 is focused on the study polyadic weak-tense n ×
m−valued Łukasiewicz-Moisil algebras. This section is divided into two subsections.
In Subsection 3.4.1 we introduced the class of study polyadic weaktense
n ×m−valued Łukasiewicz-Moisil algebras as a common generalization
of polyadic weak-tense Boolean algebras and polyadic weak-tense n−valued
Łukasiewicz-Moisil algebras. Furthermore, based on the notion of weak-tense
system, we provide an example of polyadic weak-tense n × m−valued
Łukasiewicz-Moisil algebras. The most prominent result from this second subsection
is a representation theorem for polyadic weak-tense n × m−valued
Łukasiewicz-Moisil algebras. In the last subsection we define the class of
polyadic tense n ×m−valued Łukasiewicz-Moisil algebras and we provide an
example based on the notion of tense system. Some of the results of this chapter
have been accepted for publishing in
A. V. Figallo, G. Pelaitay. A representation theorem for tense n ×m−valued
Łukasiewicz–Moisil algebras.Mathematica Bohemica. 2015.
A. V. Figallo, G. Pelaitay. n ×m-valued Łukasiewicz–Moisil algebras with
two modal operators. South American Journal of Logic. 2015.
They have also been presented and exposed in
A. V. Figallo, G. Pelaitay. Operadores temporales sobre álgebras de
Łukasiewicz-Moisil n ×m-valuadas, Actas del XII Congreso Dr. Antonio
Monteiro, UNS, Bahía Blanca, Argentina, (2013), 31-32.
Chapter four is organized into three sections. The first section is focused
to the study of tense operators on Heyting algebras. This section is divided into
six subsections. In the first subsection we demonstrate that algebraic axiomatization
given by Chajda in [24] of the tense operators F and P in intuitionistic
logic is not in accordance with theHalmos definition of existential quantifier. In
the second subsection we introduce I K t −algebras variety, we show some examples
and prove some of its properties. In the third subsection we prove that
intuitionistic tense logic introduced by Ewald in [52] has I K t −algebras as its
algebraic counterpart. In the fourth subsection we describe a discrete duality
for I K t −algebras bearing into account the results indicated by Orłowska and
Rewitzky in [124] for Heyting algebras. In the fifth subsection we give a general
construction of tense operators on a completeHeyting algebra via the so-called
Heyting frames. Finally, in the last subsection we introduce the notion of tense
deductive system which allows us to determine the congruences lattice in an
I K t −algebras and characterize simple and subdirectly irreducible from the IKt
variety. The results of this section have been published in
A. V. Figallo, G. Pelaitay. Remarks onHeyting algebras with tense operators.
Bull. Sect. Logic Univ. Lódz 41, 1–2, 71–74. 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of the Ewald’s intuitionistic
tense logic. Soft Computing. 18, 10, 1873–1883. 2014.
They were also presented and discussed in
A. V. Figallo, G. Pelaitay.Una axiomatización algebraica del sistema IKt, IV
Congreso Lationoamericano deMatemáticos, Córdoba, 2012.
A. V. Figallo, G. Pelaitay. An algebraic axiomatization of IKt system, 6th
Workshop on IntuitionisticModal Logic and Applications, Rio de Janeiro,
Brazil, 2013.
The second section is focused on the study of tense operators on symmetric
Heyting algebras. This section is divided into three subsections. In the
first section we define tense symmetric Heyting algebras, we provide an example
and prove some of their properties. In the second subsection we obtain a
discrete duality for tense symmetric Heyting algebras taking into account the
indications in [49] for DeMorgan algebras and in [124] for Heyting algebras. In
the third subsection we describe a propositional calculus that has tense symmetric
Heyting algebras as an algebraic counterpart. The results in this section
were published in
A. V. Figallo, G. Pelaitay, C. Sanza.Discrete duality for TSH-algebras. Commun.
KoreanMath. Soc., 27, 1, 47–56. 2012.
They were also presented and discussed in
A.V. Figallo, G. Pelaitay, C. Sanza. Operadores temporales sobre álgebras
de Heyting simétricas. LIX Reunión Anual de la Unión Matemática Argentina.
Índice de Comunicaciones Científicas. Mar del Plata, Septiembre
2009.
A.V. Figallo, G. Pelaitay, C. Sanza. Una dualidad discreta para las álgebras
deHeyting simétricas temporales. LX Reunión Anual de laUniónMatemática
Argentina. Índice de Comunicaciones Científicas. Tandil, Septiembre
2010.
The third section is devoted to the study of tense operators on symmetric
Heyting algebras of order n (or SHn-algebras). This section is divided in three
subsections. In the first subsection,we define the variety of tense SHn-algebras,
we provide an example and prove several properties. In the second subsection,
we obtain a discrete duality for tense SHn-algebras taking into account the
ones indicated in [124] for SHn-algebras. In the third subsection, we describe a
propositional calculus that has tense SHn-algebras as algebraic counterparts.
The results of this section were published in:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras. Pioneer Journal
of Algebra, Number Theory and its Applications. 1, 1, 33–41. 2011.
A. V. Figallo, G. Pelaitay. Note on tense SHn-algebras. An.Univ. Craiova Ser.
Mat. Inform., 38, 4, 24–32. 2011.
They were also presented and discussed in:
A. V. Figallo, G. Pelaitay. Tense operators on SHn-algebras, 16th Brazilian
Logic Conference, Petropolis, Brazil, 2011.
Chapter 5 consists of a brief enumeration of the possible future developments.
|
79 |
Reductos hilbertianos de las álgebras de Lukasiewicz-Moisil de orden 3Slagter, Juan Sebastián 10 November 2017 (has links)
No description available.
|
80 |
Control de Tráfico Vehicular Automatizado Utilizando Lógica DifusaRuiz de Somocurcio Salas, Alvaro Enrique January 2008 (has links)
El presente trabajo de investigación busca mostrar una alternativa a los sistemas de control de tráfico vehicular existentes, integrando teorías y tecnologías existentes con el fin de poder desarrollar un sistema que sea más eficiente e implementable de una manera segura y confiable. En este caso se ha elegido utilizar la teoría de la Lógica Difusa para poder llevar a cabo esta investigación, ya que es un contexto que se amolda de muy buena manera con la problemática a tratar.
|
Page generated in 0.0343 seconds