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 (only showing first 100 items - show all)

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

This page was built for publication: