Results 101 to 110 of about 1,213,224 (213)
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness [PDF]
, 2004 We present a simple and workable axiomatization of domain theory within intuitionistic set theory, in which predomains are (special) sets, and domains are algebras for a simple equational theory.
Rosolini, Giuseppe, Simpson, Alex
core
Exponential entropy on intuitionistic fuzzy sets [PDF]
, 2013 summary:In the present paper, based on the concept of fuzzy entropy, an exponential intuitionistic fuzzy entropy measure is proposed in the setting of Atanassov's intuitionistic fuzzy set theory. This measure is a generalized version of exponential fuzzy
Verma, Rajkumar, Sharma, Bhu Dev
core +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2006 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core
Treatise on intuitionistic type theory
, 2011 Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science.
Granström, Johan Georg +1 more
core +1 more source
Mathematical semantics of intuitionistic logic
, 2015 179 pages. Most results mentioned in the abstract are new.
openaire +2 more sources
Indeterministic finite-precision physics and intuitionistic mathematics
, 2021 Completed in July 2020 in partial fulfillment of the requirements for Bachelors of Science in Physics and in Mathematics at Radboud University ...
openaire +2 more sources
A GENERALIZED PICTURE FUZZY DISTANCE MEASURE FOR RESEARCH TOPIC RECOMMENDATION IN MATHEMATICS
BarekengSelecting an appropriate research topic is a critical yet challenging task for mathematics students, often hindered by misalignment between student interests, academic competencies, and supervisor availability. Traditional recommendation systems fail to
Dinni Rahma Oktaviani +2 more
doaj +1 more source
THE PHILOSOPHY OF INTUITIONIST MATHEMATICS
Вестник Донского государственного технического университета, 2006 The article covers the main problems of intuitionist mathematics which appeared in the late 19th century-early 20th century. Among them are the problems of existence in mathematics, the problem of substantiation of mathematics, epistemological methods of mathematical objects construction, methodology of mathematics and others.
openaire +2 more sources
Students' perspectives on the nature of mathematics [PDF]
, 2006 This paper reports on one small component of a much larger study that explored the perspectives of students towards mathematics learning. Students were asked “What do you think maths is all about?” Some students responded in terms of mathematical content.
Taylor, Merilyn +3 more
core +1 more source