Saved in:
| Main Authors: | Logan, Shay Allen, Worley, Blane |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.10418 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)
by: Logan, Shay Allen
Published: (2026)
Topics, Non-Uniform Substitutions, and Variable Sharing
by: Standefer, Shawn, et al.
Published: (2024)
by: Standefer, Shawn, et al.
Published: (2024)
Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)
by: Geoffroy, Guillaume
Published: (2025)
Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)
Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)
by: Gu, Tao, et al.
Published: (2023)
Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)
by: Coraglia, Greta, et al.
Published: (2021)
Adjoint Natural Deduction (Extended Version)
by: Jang, Junyoung, et al.
Published: (2024)
by: Jang, Junyoung, et al.
Published: (2024)
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)
Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)
by: Fandinno, Jorge, et al.
Published: (2025)
Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)
by: Ford, Bryan
Published: (2024)
On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
by: Forsman, David
Published: (2024)
by: Forsman, David
Published: (2024)
AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)
by: Amilon, Jesper, et al.
Published: (2025)
A Deductive System for Contract Satisfaction Proofs
by: Correnson, Arthur, et al.
Published: (2026)
by: Correnson, Arthur, et al.
Published: (2026)
The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)
by: Malliaris, Maryanthe, et al.
Published: (2022)
Agnostic Online Learning and Excellent Sets
by: Malliaris, Maryanthe, et al.
Published: (2021)
by: Malliaris, Maryanthe, et al.
Published: (2021)
Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)
by: Andriushchenko, Roman, et al.
Published: (2025)
Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)
by: Davis, Liam, et al.
Published: (2026)
Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)
by: Pereira, Mário
Published: (2024)
A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)
by: Hellwig, Jonathan, et al.
Published: (2026)
Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)
by: Protin, Clarence
Published: (2023)
Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
by: Xu, Yang, et al.
Published: (2025)
by: Xu, Yang, et al.
Published: (2025)
Two Cases of Deduction with Non-referring Descriptions
by: Raclavský, Jiří
Published: (2024)
by: Raclavský, Jiří
Published: (2024)
Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)
by: Foster, Simon, et al.
Published: (2024)
Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)
by: Malliaris, Maryanthe, et al.
Published: (2025)
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)
by: Şakar, Ömer, et al.
Published: (2026)
HaliVer: Deductive Verification and Scheduling Languages Join Forces
by: Haak, Lars B. van den, et al.
Published: (2024)
by: Haak, Lars B. van den, et al.
Published: (2024)
Rate-Distortion Theory for Deductive Sources under Closure Fidelity
by: Xu, Jianfeng
Published: (2026)
by: Xu, Jianfeng
Published: (2026)
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
by: Bao, Qiming, et al.
Published: (2022)
by: Bao, Qiming, et al.
Published: (2022)
Cardinal Characteristics and Computability
by: McDonald, Logan
Published: (2025)
by: McDonald, Logan
Published: (2025)
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)
by: Cramer, Marcos, et al.
Published: (2026)
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
by: Batz, Kevin, et al.
Published: (2025)
by: Batz, Kevin, et al.
Published: (2025)
Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
by: Majkic, Zoran
Published: (2026)
by: Majkic, Zoran
Published: (2026)
The Scaling Properties of Implicit Deductive Reasoning in Transformers
by: Vompa, Enrico, et al.
Published: (2026)
by: Vompa, Enrico, et al.
Published: (2026)
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
by: Agarwal, Shubham, et al.
Published: (2026)
by: Agarwal, Shubham, et al.
Published: (2026)
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
by: Elad, Neta, et al.
Published: (2023)
by: Elad, Neta, et al.
Published: (2023)
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)
by: Xu, Yang, et al.
Published: (2025)
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)
by: Gilda, Sankalp, et al.
Published: (2026)
Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)
by: Quaresma, Pedro, et al.
Published: (2024)
Categorical Construction of Logically Verifiable Neural Architectures
by: Nye, Logan
Published: (2025)
by: Nye, Logan
Published: (2025)
Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)
by: Asgharzadeh, Mohsen, et al.
Published: (2023)
Similar Items
-
Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026) -
Topics, Non-Uniform Substitutions, and Variable Sharing
by: Standefer, Shawn, et al.
Published: (2024) -
Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025) -
Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024) -
Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)