Results 51 to 60 of about 1,206 (89)
Valuations in Nilpotent Minimum Logic
, 2015 The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler characteristic on NM algebras, the algebraic counterpart of Nilpotent Minimum ...
Codara, Pietro, Valota, Diego
core +1 more source
Constrained deformations of positive scalar curvature metrics, II
Communications on Pure and Applied Mathematics, Volume 77, Issue 1, Page 795-862, January 2024.Abstract We prove that various spaces of constrained positive scalar curvature metrics on compact three‐manifolds with boundary, when not empty, are contractible. The constraints we mostly focus on are given in terms of local conditions on the mean curvature of the boundary, and our treatment includes both the mean‐convex and the minimal case.
Alessandro Carlotto, Chao Li
wiley +1 more source
Journal of the London Mathematical Society, Volume 109, Issue 1, January 2024.Abstract We tackle the problem of constructing R$R$‐matrices for the category O$\mathcal {O}$ associated to the Borel subalgebra of an arbitrary untwisted quantum loop algebra Uq(g)$U_q({\mathfrak {g}})$. For this, we define an invertible exact functor Fq$\mathcal {F}_q$ from the category O$\mathcal {O}$ linked to Uq−1(g)$U_{q^{-1}}({\mathfrak {g ...
Théo Pinet
wiley +1 more source
Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
Szubstrukturális logikák algebrai és bizonyításelméleti vizsgálata = Algebraic and Proof Theoretic Investigations of Substructural Logics [PDF]
, 2013 A kutatás fő eredményei: - Az ""Equality"" algebrák bevezetése (Studia Logica). - A ""strongly involutive uninorm"" algebrák bevezetése és osztályozása, valamint a vonatkozó logika komplexitásának vizsgálata (J Logic and Computation).
Jenei, Sándor
core
Baer and Baer *-ring characterizations of Leavitt path algebras
, 2017 We characterize Leavitt path algebras which are Rickart, Baer, and Baer $*$-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to ...
Hazrat, Roozbeh, Vas, Lia
core +1 more source
New constructions of decision evaluation functions in three-way decision spaces based on uninorms. [PDF]
Artif Intell Rev, 2023 Jia Z, Qiao J.
europepmc +1 more source
From delimited CPS to polarisation [PDF]
, 2011 Appeared in the author's PhD thesis (Chapter III) along with more details. See (and cite) Guillaume Munch-Maccagnoni, Syntax and Models of a non-Associative Composition of Programs and Proofs, Université Paris-Diderot - Paris VII, 2013, .The ...
Munch-Maccagnoni, Guillaume
core +2 more sources
An Intuitionistic Fuzzy Clustering Approach for Detection of Abnormal Regions in Mammogram Images. [PDF]
J Digit Imaging, 2021 Chaira T.
europepmc +1 more source
Cosine similarity measures between q-rung orthopair linguistic sets and their application to group decision making problems. [PDF]
Sci Rep, 2022 Ali J, Naeem M.
europepmc +1 more source