Results 121 to 130 of about 1,880 (221)

Constructivism in mathematics

, 1988
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication ...
van Dalen, D, Troelstra, AS
core  

Ribbon Proofs - A Proof System for the Logic of Bunched Implications

, 2013
Submitted for the degree of Doctor of Philosophy, Queen Mary, University of ...
Bean, Julian Michael Lewis
core  

Some Results of Fermatean Fuzzy Set on Subalgebras and Ideals of Bn-Algebras. [PDF]

F1000Res
Derso D, Tefera G, Assen Teshome E.
europepmc   +1 more source

Rough cubic intuitionistic fuzzy soft relation framework for risk identification and hospital selection in breast cancer treatment. [PDF]

Sci Rep
Bashir S, Shabir M, Bibi A, Gul R, Syam MI, Mazhar R, Saqib M, Asif K.   +7 more
europepmc   +1 more source

Reference and Computation in Intuitionistic Type Theory

, 2008
Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares,
Granström, Johan G,, Martin-Löf, Per, Dybjer, Peter,, Palmgren, Erik,   +3 more
core  

Smart emergency multi-attribute decision-making for typhoon response based on a hybrid intuitionistic fuzzy approach. [PDF]

Sci Rep
Gorbachev S, Gerasimenko E, Dixit A, Mani A, Kureichik V.   +4 more
europepmc   +1 more source

Enhancement of Digital Mammography Images Using Neutrosophic Divergence Score Based on Intuitionistic Fuzzy Entropy. [PDF]

J Med Signals Sens
Pourreza L, Aghazadeh N, Hashemzadeh M.
europepmc   +1 more source

A TODIM based decision-making framework using intuitionistic double hierarchy linguistic terms for evaluating polymer absorbing algae in marine debris management. [PDF]

Sci Rep
Tahir M, Zidan AM, Saeed AM, Hamoud AA, Shah SIA, Abdullah S.   +5 more
europepmc   +1 more source

The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem

, 2014
Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Urbańczyk, Piotr
core  

Intuitionistic fuzzy approach based on correlation coefficient and signless Laplacian energy with applications. [PDF]

Sci Rep
Atheeque AM, Basha SS.
europepmc   +1 more source