scientific article; zbMATH DE number 3557754

zbMath0358.02032MaRDI QIDQ4133603

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)

Related Items

On open-set lattices and some of their applications in semantics, On theorems of Gödel and Kreisel: Completeness and Markov's principle, Gleason's theorem is not constructively provable, Brouwer's weak counterexamples and the creative subject: a critical survey, Intuitionistic completeness and classical logic, Semantic completeness of first-order theories in constructive reverse mathematics, The information in intuitionistic logic, Classical harmony: Rules of inference and the meaning of the logical constants, Restricted arrow, Program-substitution and admissibility of rules in algorithmic logic, An algebraic semantics approach to the effective resolution of type equations, On the Brouwerian concept of negative continuity, Computational adequacy of the FIX-logic, Intuitionistic Epistemology and Modal Logics of Verification, A Minimalist Foundation at Work, On the programs-as-formulas interpretation of parallel programs in Peano arithmetic, A weak intuitionistic propositional logic with purely constructive implication, Equilibrium logic, Constructive mathematics and unbounded operators -- a reply to Hellman, Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges, On the origins of Dénes König's infinity lemma, Creative subject, Beth models and neighbourhood functions, Propositional lax logic, A constructive topological proof of van der Waerden's theorem, Constructive characterizations of bar subsets, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, Semantics and proof-theory of depth bounded Boolean logics, Verificationism and the principle of non-contradiction, Intuitionistic completeness of first-order logic, Arguments, Proofs, and Dialogues, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, Meaning explanations at higher dimension, Metasequents and tetravaluations, From the knowability paradox to the existence of proofs, Strict finitism and the happy sorites, Paradox and potential infinity, Validity and quantification in intuitionism, A propositional logic with explicit fixed points, A constructive approach to state description semantics, Semantical analysis of specification logic, Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology, The World's simplest axiom of choice fails, Paraconsistency everywhere, Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite, Indicative conditionals: factual or epistemic?, Is John Conway's proof of Morley's theorem the simplest and free of a deus ex machina?, First order expressivist logic, On the status of proofs by contradiction in the seventeenth century, Verificationism and Classical Realizability, A Dialogical Account of the Intersubjectivity of Intuitionism, Some Comments and Replies, Dummett's intuitionism is not strict finitism, Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics, A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language, Wave-particle duality and the objectiveness of ``true and ``false, New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic, Another proof of the intuitionistic Ramsey theorem, Constructing type systems over an operational semantics, General-elimination stability, Toward a modal-structural interpretation of set theory, Basic intuitionistic conditional logic, Intuitionism, Meaning Theory and Cognition, Sentential connectives and translation, Hilbert's \(\varepsilon{}\)-operator and classical logic, What is constructive mathematics?, Brouwer's Incomplete Objects, Dummett's case for intuitionism, A logic of delegation, The realist theory of meaning, Antirealism and universal knowability, Algorithmic foundations of computable general equilibrium theory, Inference and epistemic transparency, Cohen and Set Theory, Undecidability of First-Order Intuitionistic and Modal Logics with Two variables, TERMINATION OF ABSTRACT REDUCTION SYSTEMS, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, Intuitionist logic, a logic of justification, The paradox of phase transitions in the light of constructive mathematics, Negationless intuitionism, Can constructive mathematics be applied in physics?, The foundation of a generic theorem prover, An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper, Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics, Proof-search in type-theoretic languages: An introduction, Structural relativity and informal rigour, Reflections on Bishop's philosophy of mathematics, Sheaf models and massless fields, Realizability and intuitionistic logic, Definitional equivalence and algebraizability of generalized logical systems, Truth as an epistemic notion, Manifestability and epistemic truth, Anti-realist truth and truth-recognition, Are mathematical theorems analytic or synthetic?, On some non-classical extensions of second-order intuitionistic propositional calculus, Intuitionistic truth, On powerdomains and modality, TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS, ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS, Formal systems for modal operators on locales, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), 1998 European Summer Meeting of the Association for Symbolic Logic, Basic logic: reflection, symmetry, visibility, Intuitionistic mathematics and wittgenstein, A theory of local negation: The model and some applications, A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus, Intuitionistic tense and modal logic, Direct deductive computation on discourse representation structures, Intuitive counterexamples for constructive fallacies, Proof vs Provability: On Brouwer’s Time Problem, Strict finitism and feasibility, Contraction-free sequent calculi for intuitionistic logic, Infinite objects in type theory, A dialogical route to logical pluralism, Inferential constants, Should pluralists be pluralists about pluralism?, Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace, Validating Brouwer's continuity principle for numbers using named exceptions, BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS, Proof-terms for classical and intuitionistic resolution, The complete Heyting algebra of subsystems and contextuality, An application of constructive completeness, An application of co-inductive types in Coq: Verification of the alternating bit protocol, Distribution in the Logic of Meaning Containment and in Quantum Mechanics, Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle, Constructivity, Computability and Computers in Economic Theory: Some Cautionary Notes, WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS, INTUITIONISTIC EPISTEMIC LOGIC, HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY, A variant of Thomason's first-order logic CF based on situations, Logic and time, A constructive semantics for non‐deducibility, Internal and External Logics of Abstract Interpretations, Kalmár's Argument Against the Plausibility of Church's Thesis, A new application for explanation-based generalisation within automated deduction, Explaining Deductive Inference, Constructibility and Geometry, What the Applicability of Mathematics Says About Its Philosophy, The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Truth and Proof in Intuitionism, Truth Definitions, Skolem Functions and Axiomatic Set Theory