Search results for "Mathematics::General Mathematics"

showing 6 items of 36 documents

Triangular irreducibility of congruences in quasivarieties

2014

Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer \({m \geqslant 3}\) and a quasivariety Q, the notion of an m-triangularily meet-irreducible Q-congruence in the algebras of Q is defined. In Section 2, some characterizations of finitely generated quasivarieties involving this notion are provided. Section 3 deals with quasivarieties with equationally definable m-triangular meets of relatively principal congruences. References to finitely based quasivarieties and varieties are discussed.

Section (fiber bundle)Mathematics::LogicPure mathematicsAlgebra and Number TheoryQuasivarietyIntegerMathematics::General MathematicsMathematics::Rings and AlgebrasMathematics::General TopologyIrreducibilityFinitely-generated abelian groupCongruence relationMathematicsAlgebra Universalis
researchProduct

(φ, ψ)-weak contractions in intuitionistic fuzzy metric spaces

2014

The purpose of this paper is to extend the notion of (phi,psi)-weak contraction to intuitionistic fuzzy metric spaces, by using an altering distance function. We obtain common fixed point results in intuitionistic fuzzy metric spaces, which generalize several known results from the literature.

Statistics and ProbabilityDiscrete mathematicsMathematics::General MathematicsInjective metric spaceGeneral EngineeringT-normEquivalence of metricsConvex metric spaceIntrinsic metricMetric spaceCommon fixed point fuzzy metric space generalized weak contraction intuitionistic fuzzy metric spaceSettore MAT/05 - Analisi MatematicaArtificial IntelligenceMetric (mathematics)Metric mapMathematicsJournal of Intelligent & Fuzzy Systems
researchProduct

More on Finitely Generated Quasivarieties

2015

We begin with the following observation concerning arbitrary finitely generated quasivarieties

Subdirect productMathematics::LogicPure mathematicsMathematics::General MathematicsMathematics::Rings and AlgebrasMathematics::General TopologyFinitely-generated abelian groupMathematics
researchProduct

On t-Conorm Based Fuzzy (Pseudo)metrics

2020

We present an alternative approach to the concept of a fuzzy (pseudo)metric using t-conorms instead of t-norms and call them t-conorm based fuzzy (pseudo)metrics or just CB-fuzzy (pseudo)metrics. We develop the basics of the theory of CB-fuzzy (pseudo)metrics and compare them with “classic” fuzzy (pseudo)metrics. A method for construction CB-fuzzy (pseudo)metrics from ordinary metrics is elaborated and topology induced by CB-fuzzy (pseudo)metrics is studied. We establish interrelations between CB-fuzzy metrics and modulars, and in the process of this study, a particular role of Hamacher t-(co)norm in the theory of (CB)-fuzzy metrics is revealed. Finally, an intuitionistic version of a CB-fu…

Theoretical computer scienceLogicComputer scienceMathematics::General MathematicsCB-fuzzy (pseudo)metric02 engineering and technology01 natural sciencesFuzzy logic0202 electrical engineering electronic engineering information engineeringCB-fuzzy (pseudo)metric; archimedian t-(co)norms; hamacher t-(co)norm; modular; modular metric; intuinionistic fuzzy metricsmodular0101 mathematicsMathematical PhysicsAlgebra and Number Theoryintuinionistic fuzzy metricslcsh:Mathematicslcsh:QA1-939010101 applied mathematicsNorm (mathematics)hamacher t-(co)normmodular metric020201 artificial intelligence & image processingGeometry and TopologyComputingMethodologies_GENERALarchimedian t-(co)normsAnalysisAxioms
researchProduct

Gradation of Fuzzy Preconcept Lattices

2021

Noticing certain limitations of concept lattices in the fuzzy context, especially in view of their practical applications, in this paper, we propose a more general approach based on what we call graded fuzzy preconcept lattices. We believe that this approach is more adequate for dealing with fuzzy information then the one based on fuzzy concept lattices. We consider two possible gradation methods of fuzzy preconcept lattice—an inner one, called D-gradation and an outer one, called M-gradation, study their properties, and illustrate by a series of examples, in particular, of practical nature.

Theoretical computer scienceLogicComputer scienceMathematics::General Mathematicsfuzzy context; fuzzy preconcept; fuzzy preconcept lattice; fuzzy concept; fuzzy concept lattice; graded fuzzy preconcept lattice0206 medical engineeringfuzzy preconceptContext (language use)02 engineering and technologyFuzzy logic0202 electrical engineering electronic engineering information engineeringFuzzy conceptMathematical Physicsfuzzy preconcept latticeAlgebra and Number TheorySeries (mathematics)lcsh:Mathematicsfuzzy contextfuzzy conceptfuzzy concept latticelcsh:QA1-939graded fuzzy preconcept latticeComputer Science::Programming Languages020201 artificial intelligence & image processingGradationGeometry and Topology020602 bioinformaticsAnalysisAxioms; Volume 10; Issue 1; Pages: 41
researchProduct

How to Enrich Description Logics with Fuzziness

2017

International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Theoretical computer science[ INFO ] Computer Science [cs]Relation (database)Process (engineering)Computer scienceMathematics::General Mathematics0102 computer and information sciences02 engineering and technology[INFO] Computer Science [cs]01 natural sciencesFuzzy logicTask (project management)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Knowledge-based systemsFuzzy Description LogicDescription logicComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs][ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]Semantic WebSemantic WebUncertaintyTransformation (function)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematics020201 artificial intelligence & image processingComputingMethodologies_GENERALHardware_LOGICDESIGN
researchProduct