:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Maxa, Martin
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2601.02821
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Proof Complexity and Feasible Interpolation
by: Tabatabai, Amirhossein Akbar
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Causal Unfoldings and Disjunctive Causes
by: de Visme, Marc, et al.
Published: (2020)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (2025)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)

Affine Disjunctive Invariant Generation with Farkas' Lemma
by: Ke, Jingyu, et al.
Published: (2023)

On the Completeness of Interpolation Algorithms
by: Hetzl, Stefan, et al.
Published: (2024)

The Disjunction-Free Fragment of D2 is Three-Valued
by: Omori, Hitoshi
Published: (2024)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
by: Leigh, Graham E., et al.
Published: (2023)

Generalized Effective Reducibility
by: Carl, Merlin
Published: (2016)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

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

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
by: Gatterbauer, Wolfgang
Published: (2024)

Effectiveness and strong graph indivisibility
by: Dzhafarov, Damir D., et al.
Published: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Interpolation and Amalgamation
by: Metcalfe, George
Published: (2025)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

On Proof Systems for #QBF
by: Chede, Sravanthi, et al.
Published: (2026)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Effectivity and Reducibility with Ordinal Turing Machines
by: Carl, Merlin
Published: (2018)

Symmetric Proofs in the Ideal Proof System
by: Dawar, Anuj, et al.
Published: (2025)

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

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Effective subfactor theory
by: Fox, Alec, et al.
Published: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
by: Rojas, Diego A.
Published: (2024)

On the Effectiveness of Partition Regularity over Algebraic Structures
by: Laboska, Gabriela
Published: (2025)

New Bounds for the Ideal Proof System in Positive Characteristic
by: Behera, Amik Raj, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)