Intuitionism. An introduction

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)

Related Items

A constructive real projective plane, Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis, Brouwer's weak counterexamples and the creative subject: a critical survey, Insight in discrete geometry and computational content of a discrete model of the continuum, Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser, A footnote to ``The crisis in contemporary mathematics, Fuzzy constructive logic, A constructive approach to nonstandard analysis, Basic notions of (constructive) semigroups with apartness, Calculi of epistemic grounding based on Prawitz's theory of grounds, Some obstacles facing a semantic foundation for constructive mathematics, A general relational semantics of propositional logic: axiomatization, L. E. J. Brouwer: Toward intuitionistic logic, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, 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, Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach, Constructive theory of enumerable species, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), Lambek's categorical proof theory and Läuchli's abstract realizability, Intuitionistic logic and modality via topology, A classical view of the intuitionistic continuum, The objectivity of mathematics, Heyting’s contribution to the change in research into the foundations of mathematics, Intuitionistic completeness of first-order logic, Interpolation in extensions of first-order logic, Non-monotonic logic. I, Extending the Curry-Howard interpretation to linear, relevant and other resource logics, Competitive equilibrium with intuitionistic agents, Laurent series over R, Dynamic reasoning with qualified syllogisms, Unnamed Item, Locatedness and overt sublocales, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, Constructive system for automatic program synthesis, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen, Dynamic Epistemic Logic and Logical Omniscience, Algebraic axiomatization of tense intuitionistic logic, Montague's paradox, informal provability, and explicit modal logic, On the logical philosophy of assertive graphs, Recovering quantum logic within an extended classical framework, Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, The assertion-candidate and the meaning of mood, Minimal change: relevance and recovery revisited, Scattered toposes, Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations, Kripke semantics for the logic of problems and propositions, The Truth of Proof: A Hegelian Perspective on Constructivism, Inferential Semantics, Paraconsistency, and Preservation of Evidence, Natural deduction bottom up, Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics, Existence of approximate social welfare, Constructing type systems over an operational semantics, A bilateral exchange model: the paradox of quantifying the linguistic values of qualitative characteristics, Extended fuzzy constructive logic, The first axiomatization of relevant logic, Proofs and retributions, or: why Sarah can't take limits, Logical foundations of applied mathematics, A complete negationless system, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Mathematical interpretation of the fan theorem, Pedagogical second-order \(\lambda \)-calculus, The seeming interdependence between the concepts of valid inference and proof, Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato, The Context of Inference, Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting, A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis, Explaining Deductive Inference, Brouwer’s Ideas and Intuitionistic Fuzziness, Meta-entanglement, L-ALMOST DISTRIBUTIVE LATTICES, A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS), Brouwer-Heyting sequences converge, Mathematics and Reality, Global intuitionistic analysis, The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not, Intuitionism: an inspiration?, Minlog: A minimal logic theorem prover, Intuitionistische Kennzeichnung der endlichen Spezies, Truth values and proof theory, Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics, On the Philosophy and Mathematics of the Logics of Formal Inconsistency, Markov's constructive analysis; a participant's view, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Five observations concerning the intended meaning of the intuitionistic logical constants, On brouwer's definition of unextendable order, Gödel and Intuitionism, Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics, Kantian Philosophy of Mathematics and Young Robots, Realizability and intuitionistic logic, Truth and Proof in Intuitionism, On an Application of Intermediate Logics, Higher order functions and Brouwer’s thesis, Intuitionistic truth, Non-null implication, Using Brouwer's continuity principle to pick stocks, Spreads and choice in constructive mathematics., THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds, Reductibilities in intuitionistic topology, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, [https://portal.mardi4nfdi.de/wiki/Publication:5581622 Eine Bemerkung zum Begriff der zuf�lligen Folge], [https://portal.mardi4nfdi.de/wiki/Publication:5617399 �ber die Definition von effektiven Zufallstests], Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis, Intuitionistic mereology, Cardinality reduction theorem for logics QHC and QH4, Intuitionistic mereology. II: Overlap and disjointness, Can there be no nonrecursive functions?, On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC, A nonstandard approach to the logical omniscience problem, A nonstandard approach to the logical omniscience problem, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice, Assertive and Existential Graphs: A Comparison