scientific article; zbMATH DE number 3557754

zbMATH Open0358.02032MaRDI QIDQ4133603FDOQ4133603

Publication date: 1977

Title of this publication is not available (Why is that?)

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
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
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language
Definitional equivalence and algebraizability of generalized logical systems
On the status of proofs by contradiction in the seventeenth century
Intuitionistic completeness and classical logic
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
Brouwer's Incomplete Objects
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

   Recommendations

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)