scientific article; zbMATH DE number 3557754
From MaRDI portal
Publication:4133603
zbMATH Open0358.02032MaRDI QIDQ4133603FDOQ4133603
Authors: Michael Dummett 
Publication date: 1977
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)
Cited In (only showing first 100 items - show all)
- Intuitionistic completeness of first-order logic
- Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
- Hilbert's \(\varepsilon{}\)-operator and classical logic
- Propositional lax logic
- Title not available (Why is that?)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Another proof of the intuitionistic Ramsey theorem
- The World's simplest axiom of choice fails
- From the knowability paradox to the existence of proofs
- Basic logic: reflection, symmetry, visibility
- Sentential connectives and translation
- Toward a modal-structural interpretation of set theory
- Brouwer's weak counterexamples and the creative subject: a critical survey
- Basic intuitionistic conditional logic
- INTUITIONISTIC EPISTEMIC LOGIC
- Proof vs Provability: On Brouwer’s Time Problem
- Truth Definitions, Skolem Functions and Axiomatic Set Theory
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Logic and time
- Restricted arrow
- On the Brouwerian concept of negative continuity
- Semantic completeness of first-order theories in constructive reverse mathematics
- Equilibrium logic
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- The foundation of a generic theorem prover
- The information in intuitionistic logic
- Semantical analysis of specification logic
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- Semantics and proof-theory of depth bounded Boolean logics
- Antirealism and universal knowability
- Strict finitism and the happy sorites
- Title not available (Why is that?)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics
- Contraction-free sequent calculi for intuitionistic logic
- Brouwer's incomplete objects
- Intuitionism As Generalization
- Classical harmony: Rules of inference and the meaning of the logical constants
- Algorithmic foundations of computable general equilibrium theory
- A propositional logic with explicit fixed points
- Constructivity, Computability and Computers in Economic Theory: Some Cautionary Notes
- Strict finitism and feasibility
- Cohen and Set Theory
- Intuitionistic tense and modal logic
- Is John Conway's proof of Morley's theorem the simplest and free of a deus ex machina?
- On powerdomains and modality
- A theory of local negation: The model and some applications
- First order expressivist logic
- An algebraic semantics approach to the effective resolution of type equations
- On theorems of Gödel and Kreisel: Completeness and Markov's principle
- Definitional equivalence and algebraizability of generalized logical systems
- On the status of proofs by contradiction in the seventeenth century
- A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language
- Intuitionistic completeness and classical logic
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
- Gleason's theorem is not constructively provable
- Constructibility and Geometry
- Intuitionistic Epistemology and Modal Logics of Verification
- Reflections on Bishop's philosophy of mathematics
- A constructive semantics for non‐deducibility
- Verificationism and Classical Realizability
- Are mathematical theorems analytic or synthetic?
- On some non-classical extensions of second-order intuitionistic propositional calculus
- Truth as an epistemic notion
- A constructive approach to state description semantics
- Intuitionistic truth
- Sheaf models and massless fields
- Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
- Manifestability and epistemic truth
- Realizability and intuitionistic logic
- Formal systems for modal operators on locales
- Constructive characterizations of bar subsets
- An application of constructive completeness
- Indicative conditionals: factual or epistemic?
- General-elimination stability
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
- The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities
- Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
- What is constructive mathematics?
- Direct deductive computation on discourse representation structures
- Dummett's case for intuitionism
- Program-substitution and admissibility of rules in algorithmic logic
- Wave-particle duality and the objectiveness of ``true and ``false
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Intuitionist logic, a logic of justification
- A weak intuitionistic propositional logic with purely constructive implication
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- Intuitive counterexamples for constructive fallacies
- Title not available (Why is that?)
- What the Applicability of Mathematics Says About Its Philosophy
- On the foundations of mathematical economics
- The complete Heyting algebra of subsystems and contextuality
- A Minimalist Foundation at Work
- Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite
- Inferential constants
- A Dialogical Account of the Intersubjectivity of Intuitionism
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
- Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133603)
