Cover Image

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Yang, He, Xingxing, Chen, Shuwei, Liu, Jun, Zhong, Xiaomei
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

Contradictions
by: Xu, Yang, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

On Structures of Sign‐Boundary and Diagonal Vacancy‐Type Standard Contradictions
by: Xingxing He, et al.
Published: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
by: Xu, Yang, et al.
Published: (2026)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
by: Xu, Jianfeng
Published: (2026)

Dynamic Separation Logic
by: de Boer, Frank S., et al.
Published: (2023)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
by: Sulc, Antonin
Published: (2025)

Two Cases of Deduction with Non-referring Descriptions
by: Raclavský, Jiří
Published: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
by: Foster, Simon, et al.
Published: (2024)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Adjoint Natural Deduction (Extended Version)
by: Jang, Junyoung, et al.
Published: (2024)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
by: Waldinger, Richard
Published: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
by: Haak, Lars B. van den, et al.
Published: (2024)

On the Completeness of Interpolation Algorithms
by: Hetzl, Stefan, et al.
Published: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)

Extensional Taylor Expansion
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
by: Batz, Kevin, et al.
Published: (2025)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
by: Majkic, Zoran
Published: (2026)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
by: Elad, Neta, et al.
Published: (2023)

A Deductive System for Contract Satisfaction Proofs
by: Correnson, Arthur, et al.
Published: (2026)

Extension preservation on dense graph classes
by: Eleftheriadis, Ioannis
Published: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
by: Vompa, Enrico, et al.
Published: (2026)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
by: Sofronie-Stokkermans, Viorica
Published: (2025)

Branch-Well-Structured Transition Systems and Extensions
by: Bollig, Benedikt, et al.
Published: (2022)

Systematic Design of Separation Logics
by: Bruni, Roberto, et al.
Published: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
by: Preiner, Mathias, et al.
Published: (2026)

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