Image de couverture de livre

Automating proof search when equality is a logical connective

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chaudhuri, Kaustuv, Gantait, Arunava, Miller, Dale
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science F.4.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
par: Nishida, Naoki
Publié: (2026)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
par: Nishida, Naoki, et autres
Publié: (2026)

Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
par: Kojima, Misaki, et autres
Publié: (2026)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
par: Jilissen, Kevin H. J., et autres
Publié: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Automated Strategy Invention for Confluence of Term Rewrite Systems
par: Zhang, Liao, et autres
Publié: (2024)

Conjunctive categorial grammars and Lambek grammars with additives
par: Kuznetsov, Stepan L., et autres
Publié: (2024)

EGGs are adhesive!
par: Biondo, Roberto, et autres
Publié: (2025)

Dependence and Independence for Reversible Process Calculi
par: Aubert, Clément, et autres
Publié: (2024)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
par: Cerda, Rémy, et autres
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Constant time testability of first-order logic with modulo counting on finitary graphs
par: Adler, Isolde, et autres
Publié: (2026)

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

A Note on Proper Relational Structures
par: Bjorndahl, Adam, et autres
Publié: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
par: Alexandru, Baltag, et autres
Publié: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
par: Chan, Jhet
Publié: (2025)

FMP for QD logics. A wrong proof
par: Gasquet, Olivier
Publié: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
par: Segura, Juan J.
Publié: (2026)

Metalevel transformation of strategies
par: Rubio, Rubén, et autres
Publié: (2024)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

Neural networks as fuzzy logic formulas
par: Heiman, Damian, et autres
Publié: (2026)

Paraconsistent logic and query answering in inconsistent databases
par: Middelburg, C. A.
Publié: (2022)

Structure-Guided Automated Reasoning
par: Bannach, Max, et autres
Publié: (2023)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

Belnap-Dunn logic and query answering in inconsistent databases with null values
par: Middelburg, C. A.
Publié: (2023)

Support + Belief = Decision Trust
par: Aldini, Alessandro, et autres
Publié: (2024)

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

CBCL: Safe Self-Extending Agent Communication
par: O'Connor, Hugo
Publié: (2026)

Complexity of Nonassociative Lambek Calculus with classical logic
par: Płaczek, Paweł
Publié: (2024)

Canonical for Automated Theorem Proving in Lean
par: Norman, Chase, et autres
Publié: (2025)