The following pages link to Intuitionism. An introduction (Q766956):
Displaying 50 items.
- A constructive real projective plane (Q265603) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary (Q346664) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Recovering quantum logic within an extended classical framework (Q486962) (← links)
- Minimal change: relevance and recovery revisited (Q490421) (← links)
- A bilateral exchange model: the paradox of quantifying the linguistic values of qualitative characteristics (Q527197) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- The objectivity of mathematics (Q885536) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- Truth values and proof theory (Q1037601) (← links)
- Intuitionistic truth (Q1062982) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities (Q1181755) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)
- The first axiomatization of relevant logic (Q1206805) (← links)
- Logical foundations of applied mathematics (Q1221735) (← links)
- A complete negationless system (Q1221742) (← links)
- Mathematical interpretation of the fan theorem (Q1245936) (← links)
- Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato (Q1253251) (← links)
- Brouwer-Heyting sequences converge (Q1272416) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- A footnote to ``The crisis in contemporary mathematics'' (Q1635798) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not (Q1821332) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)
- L. E. J. Brouwer: Toward intuitionistic logic (Q1899011) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Scattered toposes (Q1977486) (← links)
- Proofs and retributions, or: why Sarah can't take limits (Q2013325) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
