Buscar
Mostrando ítems 1-10 de 354
Abstract logics, logic maps, and logic homomorphisms
(2007)
What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...
Automatic OSPF Topology map generation using information of the OSPF database
(02/11/2018)
Nowadays, different technologies provide support to different areas of our diverse lifestyles around the world. Highly reputable companies are doing important research on the connectivity of multiple devices to the different ...
GENERALIZED CONNECTIVITY
(Universidad Católica del Norte, Departamento de Matemáticas, 2006)
Introdução à topologia Fuzzy
(Universidade Tecnológica Federal do ParanáCuritibaBrasilLicenciatura em MatemáticaUTFPR, 2019-12-06)
This term paper is a study on fuzzy topology. Instead of using ordinary sets like ordinary topology, the open ones in fuzzy topology are fuzzy sets. For this study, we define fuzzy sets, fuzzy point, image and pre-image ...
Logic TK: algebric notions from Tarski's consequence operator
(2010)
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...
CONNECTEDNESS IN JÄGER - ŠOSTAK'S I-FUZZY TOPOLOGICAL SPACES
(Universidad Católica del Norte, Departamento de Matemáticas, 2009)
Using artificial intelligence for the control of medium voltage substations
(2002-12-01)
This paper introduces a method for the supervision and control of devices in electric substations using fuzzy logic and artificial neural networks. An automatic knowledge acquisition process is included which allows the ...
A topological duality for tense θ -valued Łukasiewicz–Moisil algebras
(Springer Verlag Berlín, 2018-07)
In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chiriţă as an algebraic counterpart of the tense θ-valued Moisil propositional logic. In this paper we develop a topological ...
Zariski-type topology for implication algebras
(Wiley VCH Verlag, 2010-06)
In this work we provide a new topological representation for implication algebras in such a way that its one- point compactification is the topological space given in [1]. Some applications are given thereof.