Constructive proofs for the standard translation of many-sorted to unsorted predicate logic

Documenti analoghi

• Cardinality in a paraconsistent and paracomplete set theory
  di: Oddsson, Hrafn Valtýr
  Pubblicazione: (2026)
• Proof-theoretic methods in quantifier-free definability
  di: Kocsis, Zoltan A.
  Pubblicazione: (2023)
• Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
  di: Houérou, Quentin Le, et al.
  Pubblicazione: (2026)
• Strong Negation is Definable in 2Int
  di: Oddsson, Hrafn Valtýr
  Pubblicazione: (2025)
• The cohesive and stable Ramsey theorems and proof size over a weak base theory
  di: Kołodziejczyk, Leszek Aleksander, et al.
  Pubblicazione: (2026)