:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Aranguren, Mikel Egaña
Format:	Preprint
Published:	2024
Subjects:	Digital Libraries Logic in Computer Science I.1
Online Access:	https://arxiv.org/abs/2410.07154
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Provably Correct Systems: Community, connections, and citations
by: Bowen, Jonathan P.
Published: (2015)

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

Current policies governing editorial conflicts of interest are ineffective
by: Liu, Fengyuan, et al.
Published: (2023)

Discernment is all you need
by: Fuenmayor, David
Published: (2026)

RenoBench: A Citation Parsing Benchmark
by: Sarin, Parth, et al.
Published: (2026)

Logics for the Relational Syllogistic
by: Pratt-Hartmann, Ian, et al.
Published: (2008)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
by: Bertrand, Meven Lennon, et al.
Published: (2026)

EvoPat: A Multi-LLM-based Patents Summarization and Analysis Agent
by: Wang, Suyuan, et al.
Published: (2024)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

M-CODE: Materials Categorization via Ontology, Dimensionality and Evolution
by: Biryukov, Vsevolod, et al.
Published: (2026)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
by: Aniva, Leni, et al.
Published: (2024)

LLM-ReSum: A Framework for LLM Reflective Summarization through Self-Evaluation
by: Nguyen, Huyen, et al.
Published: (2026)

Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines
by: Schembera, Björn, et al.
Published: (2023)

A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026)

Non-Ground Congruence Closure
by: Leidinger, Hendrik, et al.
Published: (2024)

Mechanized HOL Reasoning in Set Theory
by: Guilloud, Simon, et al.
Published: (2024)

Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)

Taming Differentiable Logics with Coq Formalisation
by: Affeldt, Reynald, et al.
Published: (2024)

Incomplete Descriptions and Qualified Definiteness
by: Więckowski, Bartosz
Published: (2024)

A Decision Method for Elementary Stream Calculus
by: Ruess, Harald
Published: (2024)

Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)

Term Orders for Optimistic Lambda-Superposition
by: Bentkamp, Alexander, et al.
Published: (2025)

Metric Equational Theories
by: Mardare, Radu, et al.
Published: (2025)

Canonical for Automated Theorem Proving in Lean
by: Norman, Chase, et al.
Published: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
by: Norman, Chase, et al.
Published: (2026)

LCA and energy efficiency in buildings: mapping more than twenty years of research
by: Asdrubali, F., et al.
Published: (2024)

Historical Ink: 19th Century Latin American Spanish Newspaper Corpus with LLM OCR Correction
by: Manrique-Gómez, Laura, et al.
Published: (2024)

Citation Grounding: Detecting and Reducing LLM Citation Hallucinations via Legal Citation Graphs
by: Ovcharov, Volodymyr
Published: (2026)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Forex Trading Robot Using Fuzzy Logic
by: Shabani, Mustafa, et al.
Published: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases
by: Pavlov, Alexander
Published: (2026)

Sketch-Oriented Databases
by: Duval, Dominique, et al.
Published: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)