Results 81 to 90 of about 1,452,486 (168)

Intuicionismo

Azafea: Revista de Filosofía, 2009
RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj  

Indeterministic finite-precision physics and intuitionistic mathematics [PDF]

, 2020
In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical quantities are infinitely precise. In this thesis, we
van der Lugt, Tein
core  

Intuitionistic fuzzy magnified Translation in groups

, 2020
. In this paper, we define intuitionistic fuzzy magnified translation of intuitionistic fuzzy (normal) subring and ideal of a ring. These concepts are used in the development of some important results and theorems about Intuitionistic fuzzy rings ...
P K Sharma
core  

Positive Implicative Ideals of BCK-Algebras Based on Intuitionistic Falling Shadows

, 2018
The concepts of a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal and a positive implicative falling intuitionistic fuzzy ideal are introduced, and several properties are investigated. Characterizations of a positive implicative
Young Bae Jun, Mehmet Ali Öztürk, Eun Hwan Roh, Young Bae Jun, Eun Hwan Roh, Mehmet Ali Öztürk, Jun, Young Bae, Ozturk, Mehmet Ali, Roh, Eun Hwan   +8 more
core   +1 more source

Bridging the Gap: An Epistemic Logical Model for Analysing Students’ Argumentation and Proof in Mathematics Education Research

Education Sciences
In this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj   +1 more source

H-GROUP STRUCTURE ON INTUITIONISTIC FUZZY TOPOLOGICAL SPACE

, 2019
In this study we investigate some properties of the pointed intuitionistic fuzzy topological spaces. Then some properties of intuitionistic fuzzy loop spaces are investigated Finally it is shown that an intuitionistic fuzzy loop space is an H-group.https:
Sibel DEMİRALP, Demi̇ralp, Sibel, Haçat, Gülnur, Gülnur HAÇAT   +3 more
core   +1 more source

Intuitionistic Type Theory

, 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

On the exclusion of the excluded middle law and quantum mechanics

Academia Quantum
We argue that limitations arise when using non-constructive mathematics (NCM) as a foundation for quantum mechanics, since the Boolean logical substrate of NCM fits a distributive propositional structure, but fits less naturally into the non ...
Maziar Esfahanian, Lodewijk Arntzen
doaj   +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  

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., Chetty, G. Palani, Roja, Elango, Balasubramanian, G., Seenivasan, V., Balasubramanian, Ganesan, Shi, Fu-Gui, Thangaraj, G., Uma, Mallasamudram Kuppusamy, Thakur, S. S., Malviya, R.   +10 more
core   +1 more source