Buchumschlag

A Conjecture for ATP Research

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bibel, Wolfgang
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Investigations into Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2023)

Lemmas: Generation, Selection, Application
von: Rawson, Michael, et al.
Veröffentlicht: (2023)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
von: Abraham, Uri, et al.
Veröffentlicht: (2023)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

Database Research needs an Abstract Relational Query Language
von: Gatterbauer, Wolfgang, et al.
Veröffentlicht: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
von: Alhessi, Yousef, et al.
Veröffentlicht: (2025)

Many-valued coalgebraic logic over semi-primal varieties
von: Kurz, Alexander, et al.
Veröffentlicht: (2023)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
von: Vitali, Fabio
Veröffentlicht: (2025)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
von: Sabelli, Pietro
Veröffentlicht: (2024)

A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists
von: Kihara, Takayuki
Veröffentlicht: (2022)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)