Cover Image

A simplified lower bound for implicational logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Jeřábek, Emil
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Logic 03F20 (Primary) 03B20 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

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

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

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

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

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

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

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

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

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

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

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

On the logic of interventionist counterfactuals under indeterministic causal laws
by: Barbero, Fausto
Published: (2023)

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

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

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

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

Forking and invariant types in regular ordered Abelian groups
by: Hossain, Akash
Published: (2023)

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

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

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

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)