Results 91 to 100 of about 1,213,224 (213)
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
A Neutrosophic Set‐Based Active Contour Model for Medical Image Segmentation
IET Image Processing, Volume 20, Issue 1, January/December 2026.We propose a neutrosophic set‐based active contour model for accurate and efficient segmentation of magnetic resonance (MR) and retinal images. By combining neutrosophic truth, falsity, and indeterminacy subsets with a Heaviside‐based level set formulation, the method robustly handles noise, intensity inhomogeneity, and weak edges.
Kazım Hanbay
wiley +1 more source
Making mathematics meaningful: Using student-initiated problems to situate mathematics [PDF]
, 2014 Mathematics is everywhere-from the minute we open our eyes to check the alarm clock and calculate how many minutes extra we can afford to lie in bed, to measuring out our cereal for breakfast and estimating if we have enough petrol to make the 18 ...
Brough, Chris Jane, Calder, Nigel Stuart
core
Fitting Insurance Claim Reserves with Two-Way ANOVA and Intuitionistic Fuzzy Regression
AxiomsA highly relevant topic in the actuarial literature is so-called “claim reserving” or “loss reserving”, which involves estimating reserves to be provisioned for pending claims, as they can be deferred over various periods. This explains the proliferation
Jorge De Andrés-Sánchez
doaj +1 more source
Brouwer–Hilbert on the Limits of Mathematical Knowledge
Studia Universitatis Babeș-Bolyai. PhilosophiaBrouwer famously challenged the limits of mathematical knowledge by arguing that classical formalism obscures intuitive evidence. Hilbert, by contrast, considered that intuitive insights could safely be ignored as long as formal systems remained ...
Silviu-Constantin FEDEROVICI
doaj +1 more source
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +1 more source
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
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 +3 more
core +1 more source
Troubling "understanding mathematics-in-depth": Its role in the identity work of student-teachers in England [PDF]
, 2013 Copyright @ The Author(s) 2013. This article is published with open access at Springerlink.comThis article has been made available through the Brunel Open Access Publishing Fund.In this paper, we focus on an initiative in England devised to prepare non ...
Adler, Jill +8 more
core +1 more source
Education SciencesIn 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