Intuitionism. An introduction
From MaRDI portal
Publication:766956
zbMath0070.00801MaRDI QIDQ766956
Publication date: 1956
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03F55: Intuitionistic mathematics
Related Items
Heyting’s contribution to the change in research into the foundations of mathematics, Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis, Kantian Philosophy of Mathematics and Young Robots, On an Application of Intermediate Logics, Non-null implication, Reductibilities in intuitionistic topology, [https://portal.mardi4nfdi.de/wiki/Software:5581622 Eine Bemerkung zum Begriff der zuf�lligen Folge], [https://portal.mardi4nfdi.de/wiki/Software:5617399 �ber die Definition von effektiven Zufallstests], Can there be no nonrecursive functions?, A nonstandard approach to the logical omniscience problem, Intuitionistic logic and modality via topology, Realizability and intuitionistic logic, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), The objectivity of mathematics, Constructive system for automatic program synthesis, Intuitionistic truth, Non-monotonic logic. I, Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities, Constructing type systems over an operational semantics, The first axiomatization of relevant logic, Logical foundations of applied mathematics, A complete negationless system, Mathematical interpretation of the fan theorem, Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato, Brouwer-Heyting sequences converge, Markov's constructive analysis; a participant's view, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Dynamic reasoning with qualified syllogisms, Five observations concerning the intended meaning of the intuitionistic logical constants, Global intuitionistic analysis, The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not, Spreads and choice in constructive mathematics., A constructive approach to nonstandard analysis, L. E. J. Brouwer: Toward intuitionistic logic, A classical view of the intuitionistic continuum, Scattered toposes, The assertion-candidate and the meaning of mood, Existence of approximate social welfare, Intuitionistische Kennzeichnung der endlichen Spezies, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, On brouwer's definition of unextendable order, Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser, Lambek's categorical proof theory and Läuchli's abstract realizability, Extending the Curry-Howard interpretation to linear, relevant and other resource logics, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
