Pages that link to "Item:Q4628675"
From MaRDI portal
The following pages link to UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675):
Displayed 11 items.
- Determinate logic and the axiom of choice (Q2007876) (← links)
- The number of axioms (Q2120967) (← links)
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) (Q2144618) (← links)
- Andrews Skolemization may shorten resolution proofs non-elementarily (Q2151391) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Towards a proof theory for quantifier macros (Q2672659) (← links)
- Note on the Benefit of Proof Representations by Name (Q3305625) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Effective Skolemization (Q6118680) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)