Results 61 to 70 of about 83,900 (102)
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
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
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
n-Dimensional (S,N)-implications. [PDF]
Int J Approx Reason, 2020 Zanotelli R, Reiser R, Bedregal B.
europepmc +1 more source
Uninorms which are neither conjunctive nor disjunctive in interval-valued fuzzy set theory [PDF]
, 2013 Atanassov +18 more
core +1 more source
A First Step to the Categorical Logic of Quantum Programs. [PDF]
Entropy (Basel), 2020 Sun X, He F.
europepmc +1 more source
The Psychology of Uncertainty and Three-Valued Truth Tables. [PDF]
Front Psychol, 2018 Baratgin J +3 more
europepmc +1 more source
Intrinsic regulation of hemangioma involution by platelet-derived growth factor. [PDF]
Cell Death Dis, 2012 Roach EE +6 more
europepmc +1 more source