Results 91 to 100 of about 1,473,223 (214)
, 2016 Intuitionistic type theory (also constructive type theory or Martin-Löf type theory) is a formal logical system and philosophical foundation for constructive mathematics.
Dybjer, Peter,
core +1 more source
Common Fixed Point Theorem in Intuitionistic Fuzzy 2- Metric Spaces for Integral Inequality [PDF]
, 2014 In this paper, we prove a common fixed point theorem for weakly compatible maps in intuitionistic Fuzzy 2- metric space for integral type inequality. 2010 Mathematics Subject Classification: 47H10, 54H25.
Vijaywargi, Neena +2 more
core +1 more source
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 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
Completely continuous functions in intuitionistic fuzzy topological spaces [PDF]
, 1996 summary:In this paper, after giving the basic results related to the product of functions and the graph of functions in intuitionistic fuzzy topological spaces, we introduce and study the concept of fuzzy completely continuous functions between ...
Hanafy, I. M. +10 more
core +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
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
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
, 2008 The paper explores from an outside perspective the conflict between classical mathematics, and intuitionistic mathematics in both Brouwer and Dummett's version and the modern intuitionism of Bishop and ...
Westerståhl, Dag,
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