Intuitionism. An introduction
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Truth values and proof theory
- 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
- A footnote to ``The crisis in contemporary mathematics
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- 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
- Proofs and retributions, or: why Sarah can't take limits
- Intuitionism: an inspiration?
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- Calculi of epistemic grounding based on Prawitz's theory of grounds
- A general relational semantics of propositional logic: axiomatization
- Interpolation in extensions of first-order logic
- On the logical philosophy of assertive graphs
- Natural deduction bottom up
- Extended fuzzy constructive logic
- The seeming interdependence between the concepts of valid inference and proof
- Meta-entanglement
- Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
- Using Brouwer's continuity principle to pick stocks
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
- Constructive theory of enumerable species
- Montague's paradox, informal provability, and explicit modal logic
- The assertion-candidate and the meaning of mood
- Existence of approximate social welfare
- Intuitionistische Kennzeichnung der endlichen Spezies
- A constructive real projective plane
- Dynamic Epistemic Logic and Logical Omniscience
- L-ALMOST DISTRIBUTIVE LATTICES
- Mathematics and reality
- Basic notions of (constructive) semigroups with apartness
- Some obstacles facing a semantic foundation for constructive mathematics
- Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Kripke semantics for the logic of problems and propositions
- A Dialogical Account of the Intersubjectivity of Intuitionism
- The truth of proof: a Hegelian perspective on constructivism
- Inferential semantics, paraconsistency, and preservation of evidence
- 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
- A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS)
- On brouwer's definition of unextendable order
- Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser
- Intuitionistic completeness of first-order logic
- 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
- Competitive equilibrium with intuitionistic agents
- 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
- Algorithmic theories of problems. A constructive and a non-constructive approach
- Recovering quantum logic within an extended classical framework
- scientific article; zbMATH DE number 938475 (Why is no real title available?)
- Minimal change: relevance and recovery revisited
- Higher order functions and Brouwer's thesis
- Laurent series over \(\mathbb{R}\)
- Replies to Part II Intuitionism and the Sorites
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- The context of inference
- Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
- Explaining deductive inference
- Brouwer's ideas and intuitionistic fuzziness
- \textsc{Minlog}: a minimal logic theorem prover
- On the philosophy and mathematics of the logics of formal inconsistency
- Gödel and intuitionism
- Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
- Truth and proof in intuitionism
- A bilateral exchange model: the paradox of quantifying the linguistic values of qualitative characteristics
- The prehistory of the subsystems of second-order arithmetic
- 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
- scientific article; zbMATH DE number 3248787 (Why is no real title available?)
- Reductibilities in intuitionistic topology
- scientific article; zbMATH DE number 3263223 (Why is no real title available?)
- scientific article; zbMATH DE number 3280030 (Why is no real title available?)
- scientific article; zbMATH DE number 3290305 (Why is no real title available?)
- Eine Bemerkung zum Begriff der zuf�lligen Folge
- �ber die Definition von effektiven Zufallstests
- scientific article; zbMATH DE number 3341975 (Why is no real title available?)
- Can there be no nonrecursive functions?
This page was built for publication: Intuitionism. An introduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766956)
