Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Oddsson, Hrafn Valtýr
Format:	Preprint
Published:	2026
Subjects:	Logic 03F25 (Primary), 03F03, 03B10, 03B20, 03B16 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)