scientific article; zbMATH DE number 3300566
From MaRDI portal
Publication:5582304
zbMath0188.31501MaRDI QIDQ5582304
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
well-orderingderived rules of inferenceeliminabilityaxiomatic epsilon calculusHilbert's approach to consistency problemsHilbert's epsilon symbolismHilbert's first epsilon theoremHilbert's second epsilon theoremSkolem-Herbrand resolutions of prenex formulas
Related Items (31)
Modeling multi-rate DSP specification semantics for formal transformational design in HOL ⋮ Readable Formalization of Euler’s Partition Theorem in Mizar ⋮ Logical equations in monadic logic ⋮ The epsilon-reconstruction of theories and scientific structuralism ⋮ Non-determinism in logic-based languages ⋮ Semantics of under-determined expressions ⋮ Axiomatization of a functional logic language ⋮ Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs ⋮ RAMSIFICATION AND SEMANTIC INDETERMINACY ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Resolution with order and selection for hybrid logics ⋮ Denotation, Paradox and Multiple Meanings ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Harmonising natural deduction ⋮ R n - and G n -logics ⋮ A relational formulation of the theory of types ⋮ Prior's individuals ⋮ Existential instantiation and normalization in sequent natural deduction ⋮ Hilbert's \(\varepsilon{}\)-operator and classical logic ⋮ A note on a proof of Shepherdson ⋮ The strength of Mac Lane set theory ⋮ Ackermann's substitution method (remixed) ⋮ Heyting predicate calculus with epsilon symbol ⋮ Grounding, quantifiers, and paradoxes ⋮ Semantics and Proof Theory of the Epsilon Calculus ⋮ The theory of Zermelo-Fraenkel sets with Hilbert \(\varepsilon\)-terms ⋮ Natural Deduction for Equality: The Missing Entity ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets ⋮ Choice and logic ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC ⋮ The epsilon calculus and Herbrand complexity
This page was built for publication:
