:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Standefer, Shawn, Logan, Shay Allen, Ferguson, Thomas Macaulay
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2409.08942
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Secrecy, Content, and Quantification
by: Thomas Macaulay Ferguson
Published: (2021)

Hyperformalism for Bunched Natural Deduction Systems
by: Logan, Shay Allen, et al.
Published: (2024)

Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
by: Allen, Bradley P., et al.
Published: (2025)

Routes to relevance: Philosophies of relevant logics
by: Shawn Standefer
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Three Topics in Non-decomposability of Generalized Multiplicative Connectives
by: Nishimuta, Yuki
Published: (2018)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
by: Fiore, Marcelo, et al.
Published: (2025)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

Agnostic Online Learning and Excellent Sets
by: Malliaris, Maryanthe, et al.
Published: (2021)

Simple tableaux for two expansions of Gödel modal logic
by: Bilkova, Marta, et al.
Published: (2024)

Tableaux for epistemic Gödel logic
by: Bílková, Marta, et al.
Published: (2025)

Uniform interpolation for interpretability logic
by: Horvat, Sebastijan, et al.
Published: (2025)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
by: Fiuk, Oskar, et al.
Published: (2024)

Uniform Substitution for Differential Refinement Logic
by: Prebet, Enguerrand, et al.
Published: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

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

Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)

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

Cardinal Characteristics and Computability
by: McDonald, Logan
Published: (2025)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Uniform Bounds in D-Minimal Structures
by: Farris, Madie, et al.
Published: (2026)

Uniform Local Tabularity in Intuitionistic Logic
by: Almeida, Rodrigo Nicolau
Published: (2026)

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

Substitutions of variables are finitely axiomatizable over quantifications and permutations
by: Andréka, Hajnal, et al.
Published: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
by: Urciuoli, Sebastián
Published: (2025)

Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
by: Mojtahedi, Mojtaba, et al.
Published: (2024)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

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

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Uniform Agent-interpolation of Distributed Knowledge
by: Su, Youan
Published: (2026)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

Substitution in the lambda Calculus and the role of the Curry School
by: Kamareddine, Fairouz
Published: (2024)

Admissibility of Substitution Rule in Cyclic-Proof Systems
by: Saotome, Kenji, et al.
Published: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
by: Nye, Logan
Published: (2025)