scientific article; zbMATH DE number 1478228
From MaRDI portal
zbMath0949.03059MaRDI QIDQ4492739
Publication date: 17 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)
Related Items
Logical predictivism, Semantics for intuitionistic epistemic logics of shallow depths for game theory, Glueing of analysis models in an intuitionistic setting, Some obstacles facing a semantic foundation for constructive mathematics, What is a relevant connective?, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Deciding implication for functional dependencies in complex-value databases, An interview with Michael Dummett: From analytical philosophy to voting analysis and beyond, Ideals in constructive Banach algebra theory, Is `no' a force-indicator? Yes, sooner or later!, A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC, Bohrification of operator algebras and quantum logic, A new framework for justification logic, Judgement aggregation in non-classical logics, A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, From the Foundations of Mathematics to Mathematical Pluralism, A note on mathematical pluralism and logical pluralism, Seven Kinds of Computable and Constructive Infelicities in Economics, Quantum epistemology and constructivism, WHAT IS A RULE OF INFERENCE?, Bilateral Rules as Complex Rules, Second-order logic and the power set, How to solve the knowability paradox with transcendental epistemology, The psychology of inferring conditionals from disjunctions: a probabilistic study, Coalgebras in functional programming and type theory, Laplace's demon consults an oracle: the computational complexity of prediction, Compactness notions for an apartness space, A note on non-classical nonstandard arithmetic, Reflections on function spaces, The Arrow-Hahn Construction in a Locally Compact Metric Space, A constructive theory of point-set nearness., Montague's paradox, informal provability, and explicit modal logic, A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS, A semantic hierarchy for intuitionistic logic, On the intuitionistic force of classical search (Extended abstract), The intuitionistic alternative set theory, Bounded functional interpretation, Continuous isomorphisms from R onto a complete abelian group, Brouwer's Incomplete Objects, Conditionals in reasoning, Intuitionistic sequential compactness?, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Continuous Functions on Final Coalgebras, Inversion Principles and Introduction Rules, A Coalgebraic View of Bar Recursion and Bar Induction, Reverse formalism 16, Truthmaker maximalism and the truthmaker paradox, Exercising Nuprl’s Open-Endedness, Curry-Howard-Lambek correspondence for intuitionistic belief, The fan theorem and unique existence of maxima, Completeness and incompleteness for intuitionistic logic, Gödel and Intuitionism, Strong continuity implies uniform sequential continuity, Coalgebras as Types Determined by Their Elimination Rules, On A neglected path to intuitionism, The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle, Constructivism and Metamathematics, Higher order functions and Brouwer’s thesis, Bayesian ranking for strategy scheduling in automated theorem provers, Using Brouwer's continuity principle to pick stocks, Bishop-Style Constructive Reverse Mathematics, The Kripke schema in metric topology, Structuring co-constructive logic for proofs and refutations
