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
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
