Zur Deutung der intuitionistischen Logik
From MaRDI portal
Publication:1565791
DOI10.1007/BF01186549zbMath0004.00201OpenAlexW2051685387MaRDI QIDQ1565791
No author found.
Publication date: 1932
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/168345
Related Items (48)
States on semi-divisible generalized residuated lattices reduce to states on MV-algebras ⋮ The intuitionistic fragment of computability logic at the propositional level ⋮ The basic intuitionistic logic of proofs ⋮ Positive Formulas in Intuitionistic and Minimal Logic ⋮ Proof theory in the USSR 1925–1969 ⋮ Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Some obstacles facing a semantic foundation for constructive mathematics ⋮ A constructive valuation semantics for classical logic ⋮ Automath Type Inclusion in Barendregt’s Cube ⋮ Degrees of Unsolvability: A Tutorial ⋮ Homotopy type theory and Voevodsky’s univalent foundations ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Intuitionistic completeness of first-order logic ⋮ Hermann Weyl's Intuitionistic Mathematics ⋮ Unnamed Item ⋮ Realist Consequence, Epistemic Inference, Computational Correctness ⋮ Kolmogorov and mathematical logic ⋮ Effectively closed mass problems and intuitionism ⋮ First-order logic in the Medvedev lattice ⋮ Stateful Realizers for Nonstandard Analysis ⋮ Toggling operators in computability logic ⋮ Constructive system for automatic program synthesis ⋮ Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930 ⋮ Explicit Provability and Constructive Semantics ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Intuitionism, Meaning Theory and Cognition ⋮ On the unity of duality ⋮ Non-classical propositional calculi in relation to methodological patterns of scientific investigation ⋮ Notes on constructive negation ⋮ Constructive logic and the Medvedev lattice ⋮ Logical operations and Kolmogorov complexity ⋮ TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION ⋮ Sequential operators in computability logic ⋮ Mass problems and intuitionistic higher-order logic ⋮ Strong and weak reducibility of algorithmic problems1 ⋮ A Survey of Propositional Realizability Logic ⋮ Automation methods for logical derivation and their application in the control of dynamic and intelligent systems ⋮ Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law ⋮ Tiered Arithmetics ⋮ From constructivism to computer science ⋮ Mass problems associated with effectively closed sets ⋮ An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper ⋮ Mass Problems and Measure-Theoretic Regularity ⋮ Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics ⋮ A foundation for support theory based on a non-Boolean event space
This page was built for publication: Zur Deutung der intuitionistischen Logik
