Results 11 to 20 of about 1,206 (89)
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Mathematical Logic Quarterly, 2008 AbstractPropositional fuzzy logics given by a combination of a continuous SBL t‐norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t‐norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of ...
Haniková, Z. (Zuzana) +1 more
openaire +5 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 +5 more sources
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
Interval-valued contractive fuzzy negations [PDF]
, 2010 In this work we consider the concept of contractive interval-valued fuzzy negation, as a negation such that it does not increase the length or amplitude of an interval. We relate this to the concept of Lipschitz function. In particular, we prove that the
Bedregal, Benjamin +4 more
core +1 more source
Belief functions on lattices [PDF]
, 2008 We extend the notion of belief function to the case where the underlying structure is no more the Boolean lattice of subsets of some universal set, but any lattice, which we will endow with a minimal set of properties according to our needs. We show that
Grabisch, Michel
core +5 more sources
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi [PDF]
, 2017 In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style.
Battyanyi, Peter, Nour, Karim
core +3 more sources
Negation and Involutive Adjunction
, 2005 This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction.
Dosen, K., Petric, Z.
openaire +2 more sources