Results 11 to 20 of about 83,900 (102)
Residuated fuzzy logics with an involutive negation
Archive for Mathematical Logic, 2000 Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0̄, namely ¬φ is φ → 0̄.
Esteva, Francesc +3 more
openaire +4 more sources
Residuated logics based on strict triangular norms with an involutive negation
Mathematical Logic Quarterly, 2006 AbstractIn general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict triangular norm, namely, the product logic. We study several equations which are satisfied by some strict t‐norms and their dual t‐conorms. Adding an involutive negation, these equations allow us to generate countably many logics
Cintula, P. (Petr) +3 more
openaire +4 more sources
Negation and Implication in Quasi-Nelson Logic
Logical Investigations, 2021 Quasi-Nelson logic is a recently-introduced generalization of Nelson’s constructive logic with strong negation to a non-involutive setting. In the present paper we axiomatize the negation-implication fragment of quasi-Nelson logic (QNI-logic), which ...
Thiago Nascimento, U. Rivieccio
semanticscholar +1 more source
Derived categories of hearts on Kuznetsov components
Journal of the London Mathematical Society, Volume 108, Issue 6, Page 2146-2174, December 2023., 2023 Abstract We prove a general criterion that guarantees that an admissible subcategory K$\mathcal {K}$ of the derived category of an abelian category is equivalent to the bounded derived category of the heart of a bounded t‐structure. As a consequence, we show that K$\mathcal {K}$ has a strongly unique dg enhancement, applying the recent results of ...
Chunyi Li, Laura Pertusi, Xiaolei Zhao
wiley +1 more source
Proceedings of the London Mathematical Society, Volume 127, Issue 5, Page 1451-1506, November 2023., 2023 Abstract We establish a formula for the L‐theory spectrum of real C∗$C^*$‐algebras from which we deduce a presentation of the L‐groups in terms of the topological K‐groups, extending all previously known results of this kind. Along the way, we extend the integral comparison map τ:k→L$\tau \colon \mathrm{k}\rightarrow \mathrm{L}$ obtained in previous ...
Markus Land +2 more
wiley +1 more source
Stability conditions on Kuznetsov components of Gushel–Mukai threefolds and Serre functor
Mathematische Nachrichten, Volume 296, Issue 7, Page 2975-3002, July 2023., 2023 Abstract We show that the stability conditions on the Kuznetsov component of a Gushel–Mukai threefold, constructed by Bayer, Lahoz, Macrì and Stellari, are preserved by the Serre functor, up to the action of the universal cover of GL2+(R)$\text{GL}^+_2(\operatorname{\mathbb {R}})$.
Laura Pertusi, Ethan Robinett
wiley +1 more source
Commuting varieties and cohomological complexity theory
Journal of the London Mathematical Society, Volume 106, Issue 4, Page 2847-2883, December 2022., 2022 Abstract In this paper we determine, for all r$r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting r$r$‐tuples of nilpotent elements of gln$\mathfrak {gl}_n$. Our main result is that in characteristic ≠2,3$\ne 2,3$, this nilpotent commuting variety has dimension (r+1)⌊n24⌋$(r+1)\lfloor \frac{n^2}{4 ...
Paul D. Levy, Nham V. Ngo, Klemen Šivic
wiley +1 more source
Patchworking oriented matroids
Journal of the London Mathematical Society, Volume 106, Issue 4, Page 3545-3576, December 2022., 2022 Abstract In a previous work, we gave a construction of (not necessarily realisable) oriented matroids from a triangulation of a product of two simplices. In this follow‐up paper, we use a combinatorial analogue of Viro's patchworking to derive a topological representation of the oriented matroid directly from the polyhedral structure of the ...
Marcel Celaya, Georg Loho, Chi Ho Yuen
wiley +1 more source
IET Power Electronics, Volume 15, Issue 14, Page 1490-1501, 4 November 2022., 2022 Abstract In the dual‐motor servo system driven by permanent magnet linear synchronous motor, a synchronous control strategy based on coupling parameter identification algorithm and feedback linearization decoupling controller is proposed to overcome the influence of mechanical coupling on the synchronous control performance of the system.
Kang Zhang, Limei Wang, Xin Fang
wiley +1 more source
Implication functions in interval-valued fuzzy set theory [PDF]
, 2013 Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees.
Deschrijver, Glad
core +1 more source