Results 91 to 100 of about 1,880 (221)

Fitting Insurance Claim Reserves with Two-Way ANOVA and Intuitionistic Fuzzy Regression

Axioms
A 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

Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness

, 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  

Brouwer–Hilbert on the Limits of Mathematical Knowledge

Studia Universitatis Babeș-Bolyai. Philosophia
Brouwer 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

Intuitionistic Fuzzy Rough Aczel-Alsina Average Aggregation Operators and Their Applications in Medical Diagnoses

, 2022
Managing ambiguous and asymmetric types of information is a very challenging task under the consideration of classical data. Furthermore, Aczel-Alsina aggregation operators are the new developments in fuzzy sets theory. However, when decision-makers need
Tahir Mahmood, Ronnason Chinram, Nayyar Mehmood, Khamika Urawong, Jabbar Ahmmad   +4 more
core   +1 more source

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  

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

Mathematical semantics of intuitionistic logic

, 2015
179 pages. Most results mentioned in the abstract are new.
openaire   +2 more sources

Intuitionistic Fuzzy Bi-Ideals and Regularity [PDF]

, 2020
We study the intuitionistic fuzzification of the notion of bi-ideals in near-rings. We give characterizations of intuitionistic fuzzy bi-ideals in near-rings.
V Mahesh Kumar, S Narmada
core  

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

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