Buchumschlag

Herbrand's Theorem in Refutation Schemata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leitsch, Alexander, Lolic, Anela
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards an Analysis of Proofs in Arithmetic
von: Leitsch, Alexander, et al.
Veröffentlicht: (2025)

Epsilon Calculus Provides Shorter Cut-Free Proofs
von: Baaz, Matthias, et al.
Veröffentlicht: (2024)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
von: Gamsakhurdia, Mariami, et al.
Veröffentlicht: (2025)

From Herbrand schemes to functional interpretation
von: Enqvist-Pyk, Sebastian
Veröffentlicht: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
von: Maire, Gregoire, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Keisler's Theorem and Cardinal Invariants
von: Goto, Tatsuya
Veröffentlicht: (2021)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
von: Carlucci, Lorenzo
Veröffentlicht: (2016)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
von: Massas, Guillaume
Veröffentlicht: (2024)

Analogues of Shepherdson's Theorem for a language with exponentiation
von: Kovalyov, Konstantin
Veröffentlicht: (2023)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
von: Koul, Prajval, et al.
Veröffentlicht: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
von: Matsunaga, Takashi
Veröffentlicht: (2026)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
von: Suárez, Juan M Santiago, et al.
Veröffentlicht: (2025)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
von: Shizuma, Souji
Veröffentlicht: (2025)

Simple Models of Randomization and Preservation Theorems
von: Khanaki, Karim, et al.
Veröffentlicht: (2024)

Measurable Brooks's Theorem for Directed Graphs
von: Higgins, Cecelia
Veröffentlicht: (2024)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
von: Carl, Merlin
Veröffentlicht: (2020)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
von: Grobner, Harald
Veröffentlicht: (2026)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
von: Blomet, Quentin
Veröffentlicht: (2025)

Hall's Harem Theorem with controlled sizes of cycles
von: Duda, Karol
Veröffentlicht: (2025)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2025)

Theoremizing Yablo's Paradox
von: Karimi, Ahmad, et al.
Veröffentlicht: (2014)

Ruitenburg's Theorem Mechanized and Contextualized
von: Litak, Tadeusz
Veröffentlicht: (2024)

Lovász Theorems for Modal Languages
von: Comer, Jesse
Veröffentlicht: (2024)

Rich doctrines and Henkin's Theorem
von: Guffanti, Francesca
Veröffentlicht: (2023)

Algorithmic Perspective on Toda's Theorem
von: Fried, Dror, et al.
Veröffentlicht: (2025)

Preservation Theorems in Semiring Semantics
von: Brinke, Sophie, et al.
Veröffentlicht: (2026)

Locality Theorems in Semiring Semantics
von: Bizière, Clotilde, et al.
Veröffentlicht: (2023)