Image de couverture de livre

Herbrand's Theorem in Refutation Schemata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Leitsch, Alexander, Lolic, Anela
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards an Analysis of Proofs in Arithmetic
par: Leitsch, Alexander, et autres
Publié: (2025)

Epsilon Calculus Provides Shorter Cut-Free Proofs
par: Baaz, Matthias, et autres
Publié: (2024)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
par: Gamsakhurdia, Mariami, et autres
Publié: (2025)

From Herbrand schemes to functional interpretation
par: Enqvist-Pyk, Sebastian
Publié: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

Herbrandized modified realizability
par: Ferreira, Gilda, et autres
Publié: (2024)

Existential completions and Herbrand's theorem
par: Wrigley, Joshua L.
Publié: (2025)

Finding Regular Herbrand Models for CHCs using Answer Set Programming
par: Maire, Gregoire, et autres
Publié: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
par: Chatterjee, Krishnendu, et autres
Publié: (2026)

Advances in Algorithmic Meta Theorems
par: Siebertz, Sebastian, et autres
Publié: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

Keisler's Theorem and Cardinal Invariants
par: Goto, Tatsuya
Publié: (2021)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
par: Carlucci, Lorenzo
Publié: (2016)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
par: Nechesov, Andrey
Publié: (2024)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
par: Massas, Guillaume
Publié: (2024)

Analogues of Shepherdson's Theorem for a language with exponentiation
par: Kovalyov, Konstantin
Publié: (2023)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
par: Matsunaga, Takashi
Publié: (2026)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
par: Suárez, Juan M Santiago, et autres
Publié: (2025)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
par: Shizuma, Souji
Publié: (2025)

Simple Models of Randomization and Preservation Theorems
par: Khanaki, Karim, et autres
Publié: (2024)

Measurable Brooks's Theorem for Directed Graphs
par: Higgins, Cecelia
Publié: (2024)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
par: Carl, Merlin
Publié: (2020)

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

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
par: Blomet, Quentin
Publié: (2025)

Hall's Harem Theorem with controlled sizes of cycles
par: Duda, Karol
Publié: (2025)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2025)

Theoremizing Yablo's Paradox
par: Karimi, Ahmad, et autres
Publié: (2014)

Ruitenburg's Theorem Mechanized and Contextualized
par: Litak, Tadeusz
Publié: (2024)

Lovász Theorems for Modal Languages
par: Comer, Jesse
Publié: (2024)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

Algorithmic Perspective on Toda's Theorem
par: Fried, Dror, et autres
Publié: (2025)

Preservation Theorems in Semiring Semantics
par: Brinke, Sophie, et autres
Publié: (2026)

Locality Theorems in Semiring Semantics
par: Bizière, Clotilde, et autres
Publié: (2023)