Mathematical semantics of intuitionistic logic
, 2015 179 pages. Most results mentioned in the abstract are new.
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
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
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
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
, 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
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
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
A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis
, 1998 A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis Victor N. Krivtsov The present work contains an axiomatic treatment of some parts of the version of intuitionistic mathematics advocated by G.F.C.
Krivtsov, Victor N.
core +1 more source