scholarly journals Fixpointed Idempotent Uninorm (Based) Logics

Mathematics ◽  
2019 ◽  
Vol 7 (1) ◽  
pp. 107 ◽  
Author(s):  
Eunsuk Yang
Keyword(s):  
Unit Interval ◽  
Algebraic Structures ◽  
Standard Completeness

Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not. Recently, fixpointed uninorm mingle logic (fUML) was introduced, and its standard completeness, i.e., completeness on real unit interval [ 0 , 1 ] , was proved by Baldi and Ciabattoni. However, their proof is not algebraic and does not shed any light on the algebraic feature by which an idempotent uninorm is characterized, using operations defined by a fixpointed negation. To shed a light on this feature, this paper algebraically investigates logics based on fixpointed idempotent uninorms. First, several such logics are introduced as axiomatic extensions of uninorm mingle logic (UML). The algebraic structures corresponding to the systems are then defined, and the results of the associated algebraic completeness are provided. Next, standard completeness is established for the systems using an Esteva–Godo-style approach for proving standard completeness.

scholarly journals A Lochs-Type Approach via Entropy in Comparing the Efficiency of Different Continued Fraction Algorithms

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 255
Author(s):  
Dan Lascu ◽  
Gabriela Ileana Sebe
Keyword(s):  
Dynamical Systems ◽  
Continued Fractions ◽  
Continued Fraction ◽  
Unit Interval ◽  
Probability Measures ◽  
Absolutely Continuous ◽  
Continued Fraction Expansions ◽  
Absolutely Continuous Invariant

We investigate the efficiency of several types of continued fraction expansions of a number in the unit interval using a generalization of Lochs theorem from 1964. Thus, we aim to compare the efficiency by describing the rate at which the digits of one number-theoretic expansion determine those of another. We study Chan’s continued fractions, θ-expansions, N-continued fractions, and Rényi-type continued fractions. A central role in fulfilling our goal is played by the entropy of the absolutely continuous invariant probability measures of the associated dynamical systems.

Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science

1987 ◽  
Vol 10 (4) ◽  
pp. 387-413
Author(s):  
Irène Guessarian
Keyword(s):  
Logic Programming ◽  
Computer Science ◽  
Proof Theory ◽  
Algebraic Structures ◽  
Data Bases

This paper recalls some fixpoint theorems in ordered algebraic structures and surveys some ways in which these theorems are applied in computer science. We describe via examples three main types of applications: in semantics and proof theory, in logic programming and in deductive data bases.

Complex q-rung orthopair fuzzy Schweizer–Sklar Muirhead mean aggregation operators and their application in multi-criteria decision-making

2021 ◽  
pp. 1-23
Author(s):  
Peide Liu ◽  
Tahir Mahmood ◽  
Zeeshan Ali
Keyword(s):  
Decision Making ◽  
Comparative Analysis ◽  
Imaginary Part ◽  
Fuzzy Set ◽  
Score Function ◽  
Aggregation Operators ◽  
Unit Interval ◽  
Multi Criteria Decision Making ◽  
Accuracy Function ◽  
Special Cases

Complex q-rung orthopair fuzzy set (CQROFS) is a proficient technique to describe awkward and complicated information by the truth and falsity grades with a condition that the sum of the q-powers of the real part and imaginary part is in unit interval. Further, Schweizer–Sklar (SS) operations are more flexible to aggregate the information, and the Muirhead mean (MM) operator can examine the interrelationships among the attributes, and it is more proficient and more generalized than many aggregation operators to cope with awkward and inconsistence information in realistic decision issues. The objectives of this manuscript are to explore the SS operators based on CQROFS and to study their score function, accuracy function, and their relationships. Further, based on these operators, some MM operators based on PFS, called complex q-rung orthopair fuzzy MM (CQROFMM) operator, complex q-rung orthopair fuzzy weighted MM (CQROFWMM) operator, and their special cases are presented. Additionally, the multi-criteria decision making (MCDM) approach is developed by using the explored operators based on CQROFS. Finally, the advantages and comparative analysis are also discussed.

scholarly journals GENETICS OF ARGININE BIOSYNTHESIS IN NEUROSPORA CRASSA

Genetics ◽  
1979 ◽  
Vol 93 (3) ◽  
pp. 557-575
Author(s):  
Rowland H Davis
Keyword(s):  
Neurospora Crassa ◽  
Gene Product ◽  
Unit Interval ◽  
Starting Material ◽  
Limited Extent ◽  
Arginine Biosynthesis ◽  
Regulatory Mutants ◽  
Intragenic Complementation ◽  
Translocation Breakpoints ◽  
Bifunctional Gene

ABSTRACT A large number of arginine-requiring mutants of Neurospora was isolated, using a strain already partially impaired in an enzyme of the pathway. Among the mutants, all previously described loci, except one, were represented, and several new loci were defined and mapped. Four groups of mutants were of particular interest. First, thc large group of arg-6 mutants, when tested for intragenic complementation, suggested a bifunctional gene, possibly controlling two steps in ornithine synthesis. This is consistent with the limited enzymic information about this locus. Second, the arg-13 locus was represented by 14 new mutants. All five tested were quite leaky. suggesting that the function controlled by this gene can be rarried out to a limited extent spontaneously or by another gene product. Third, a new locus, arg-14, was defined. It controls a step in ornithine synthesis. It lies in a 1 to 2 map-unit interval between arg-2 and pyr-3 on LG IVR, as shown by mapping in relation tG translocation breakpoints. Fourth, a second new locus whose mutants render the partial mutation in starting material auxotrophic was defined and mapped near the centromere of LG VIL. These new mutants are unable to derepress enzymes of the pathway and may qualify as regulatory mutants.

scholarly journals LAUGHLIN STATES ON THE SPHERE AS REPRESENTATIONS OF ${\mathcal U}_q({\rm sl}2))$

1995 ◽  
Vol 10 (11) ◽  
pp. 853-858 ◽  
Author(s):  
NARUHIKO AIZAWA ◽  
SEBASTIAN SACHSE ◽  
HARU-TADA SATO
Keyword(s):  
Deformation Parameter ◽  
Magnetic Monopole ◽  
Filling Ratio ◽  
Algebraic Structures ◽  
Laughlin States

We discuss quantum algebraic structures of the systems of electrons or quasiparticles on a sphere on whose center a magnetic monopole is located. We verify that the deformation parameter is related to the filling ratio of the particles in each case.

Sign in / Sign up

Export Citation Format

Share Document