The following pages link to (Q5772177):
Displaying 39 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- On the concept of finitism (Q510710) (← links)
- Conventionalism, consistency, and consistency sentences (Q514102) (← links)
- On a paradox of Hilbert and Bernays (Q676182) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- Unified grounding (Q1706747) (← links)
- A single axiom for set theory (Q1861136) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Logic of determination of objects (LDO): how to articulate ``extension'' with ``intension'' and ``objects'' with ``concepts'' (Q1942336) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Problems of the theory of models, related to categoricity (Q2551777) (← links)
- A completeness theorem for ''theories of kind W'' (Q2556327) (← links)
- Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Q2626580) (← links)
- Denotation, Paradox and Multiple Meanings (Q3305675) (← links)
- (Q3384900) (← links)
- R n - and G n -logics (Q4645806) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- On the Herbrand content of LK (Q5015361) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Putnam’s Theorem on the Complexity of Models (Q5214674) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- (Q5809945) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)