Image de couverture de livre

Topics, Non-Uniform Substitutions, and Variable Sharing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Standefer, Shawn, Logan, Shay Allen, Ferguson, Thomas Macaulay
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

Secrecy, Content, and Quantification
par: Thomas Macaulay Ferguson
Publié: (2021)

Hyperformalism for Bunched Natural Deduction Systems
par: Logan, Shay Allen, et autres
Publié: (2024)

Probabilistic Epistemic Dynamic Agentive Logic
par: Logan, Shay Allen
Publié: (2026)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
par: Allen, Bradley P., et autres
Publié: (2025)

Routes to relevance: Philosophies of relevant logics
par: Shawn Standefer
Publié: (2024)

Three Topics in Non-decomposability of Generalized Multiplicative Connectives
par: Nishimuta, Yuki
Publié: (2018)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Uniform interpolation for interpretability logic
par: Horvat, Sebastijan, et autres
Publié: (2025)

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
par: Fiore, Marcelo, et autres
Publié: (2025)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

The unstable formula theorem revisited via algorithms
par: Malliaris, Maryanthe, et autres
Publié: (2022)

Agnostic Online Learning and Excellent Sets
par: Malliaris, Maryanthe, et autres
Publié: (2021)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
par: Fiuk, Oskar, et autres
Publié: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
par: Férée, Hugo, et autres
Publié: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Uniform Substitution for Differential Refinement Logic
par: Prebet, Enguerrand, et autres
Publié: (2024)

Cardinal Characteristics and Computability
par: McDonald, Logan
Publié: (2025)

Epsilon-saturation for stable graphs and Littlestone classes
par: Malliaris, Maryanthe, et autres
Publié: (2025)

Uniform Bounds in D-Minimal Structures
par: Farris, Madie, et autres
Publié: (2026)

Uniform Local Tabularity in Intuitionistic Logic
par: Almeida, Rodrigo Nicolau
Publié: (2026)

Substitutions of variables are finitely axiomatizable over quantifications and permutations
par: Andréka, Hajnal, et autres
Publié: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
par: Mojtahedi, Mojtaba, et autres
Publié: (2024)

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

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

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

Substitution Without Copy and Paste
par: Altenkirch, Thorsten, et autres
Publié: (2025)

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

Uniform Agent-interpolation of Distributed Knowledge
par: Su, Youan
Publié: (2026)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

Substitution in the lambda Calculus and the role of the Curry School
par: Kamareddine, Fairouz
Publié: (2024)

Admissibility of Substitution Rule in Cyclic-Proof Systems
par: Saotome, Kenji, et autres
Publié: (2025)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
par: Hoffelner, Stefan
Publié: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
par: Sofronie-Stokkermans, Viorica
Publié: (2025)