scientific article; zbMATH DE number 3557754
From MaRDI portal
Publication:4133603
Cited in
(only showing first 100 items - show all)- Intuitionistic completeness of first-order logic
- Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
- What is constructive mathematics?
- Program-substitution and admissibility of rules in algorithmic logic
- Truth and proof in intuitionism
- Dummett's case for intuitionism
- Direct deductive computation on discourse representation structures
- Hilbert's \(\varepsilon{}\)-operator and classical logic
- Propositional lax logic
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Another proof of the intuitionistic Ramsey theorem
- Taming the incomputable, reconstructing the nonconstructive and deciding the undecidable in mathematical economics
- The World's simplest axiom of choice fails
- From the knowability paradox to the existence of proofs
- Sentential connectives and translation
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- Toward a modal-structural interpretation of set theory
- Brouwer's weak counterexamples and the creative subject: a critical survey
- Basic logic: reflection, symmetry, visibility
- Wave-particle duality and the objectiveness of ``true and ``false
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
- Basic intuitionistic conditional logic
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
- Restricted arrow
- On the Brouwerian concept of negative continuity
- Semantic completeness of first-order theories in constructive reverse mathematics
- INTUITIONISTIC EPISTEMIC LOGIC
- Intuitionist logic, a logic of justification
- Proof vs Provability: On Brouwer’s Time Problem
- Kalmár's argument against the plausibility of Church's thesis
- Truth Definitions, Skolem Functions and Axiomatic Set Theory
- Logic and time
- A weak intuitionistic propositional logic with purely constructive implication
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Equilibrium logic
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- The foundation of a generic theorem prover
- On the foundations of mathematical economics
- scientific article; zbMATH DE number 2101972 (Why is no real title available?)
- Intuitive counterexamples for constructive fallacies
- What the Applicability of Mathematics Says About Its Philosophy
- The complete Heyting algebra of subsystems and contextuality
- The information in intuitionistic logic
- Semantical analysis of specification logic
- Semantics and proof-theory of depth bounded Boolean logics
- Strict finitism and the happy sorites
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- Antirealism and universal knowability
- Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite
- Weak disharmony: some lessons for proof-theoretic semantics
- scientific article; zbMATH DE number 192927 (Why is no real title available?)
- A Dialogical Account of the Intersubjectivity of Intuitionism
- Inferential constants
- Contraction-free sequent calculi for intuitionistic logic
- Brouwer's incomplete objects
- Intuitionism As Generalization
- Constructing type systems over an operational semantics
- 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
- Paraconsistency everywhere
- Some Comments and Replies
- Proof-terms for classical and intuitionistic resolution
- Constructivity, Computability and Computers in Economic Theory: Some Cautionary Notes
- Cohen and Set Theory
- Is John Conway's proof of Morley's theorem the simplest and free of a deus ex machina?
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
- Strict finitism and feasibility
- On powerdomains and modality
- Intuitionistic tense and modal logic
- Intuitionistic epistemology and modal logics of verification
- Intuitionism, Meaning Theory and Cognition
- First order expressivist logic
- Meta-classical non-classical logics
- A theory of local negation: The model and some applications
- Informal classical and intuitionistic proofs together
- Should pluralists be pluralists about pluralism?
- Intuitionistic mathematics and wittgenstein
- An algebraic semantics approach to the effective resolution of type equations
- Creative subject, Beth models and neighbourhood functions
- A constructive topological proof of van der Waerden's theorem
- Validity and quantification in intuitionism
- Universal logic and orbital relativism
- Brouwer's weak counterexamples and testability: further remarks
- Mathematical pluralism and indispensability
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Constructive mathematics and unbounded operators -- a reply to Hellman
- From philosophical traditions to scientific developments: reconsidering the response to Brouwer's intuitionism
- On theorems of Gödel and Kreisel: Completeness and Markov's principle
- The realist theory of meaning
- Definitional equivalence and algebraizability of generalized logical systems
- On the status of proofs by contradiction in the seventeenth century
- Harmonic inferentialism and the logic of identity
- A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Intuitionistic completeness and classical logic
- The paradox of phase transitions in the light of constructive mathematics
- On open-set lattices and some of their applications in semantics
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)
