:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Standefer, Shawn, Logan, Shay Allen, Ferguson, Thomas Macaulay
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2409.08942
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Secrecy, Content, and Quantification
di: Thomas Macaulay Ferguson
Pubblicazione: (2021)

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

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

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

Routes to relevance: Philosophies of relevant logics
di: Shawn Standefer
Pubblicazione: (2024)

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

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

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

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

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

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

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

Uniform interpolation for interpretability logic
di: Horvat, Sebastijan, et al.
Pubblicazione: (2025)

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

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

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

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

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

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

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

Cardinal Characteristics and Computability
di: McDonald, Logan
Pubblicazione: (2025)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

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

Uniform Local Tabularity in Intuitionistic Logic
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2026)

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

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

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

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

Substitution Without Copy and Paste
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Uniform Agent-interpolation of Distributed Knowledge
di: Su, Youan
Pubblicazione: (2026)

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

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

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

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)