Image de couverture de livre

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Collinson, Matthew, Eckhardt, Timo, Pym, David
Format:	Preprint
Publié:	2026
Sujets:	Logic Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Inferentialist Public Announcement Logic: Base-extension Semantics
par: Eckhardt, Timo, et autres
Publié: (2024)

Inferentialist Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Base-extension Semantics for S5 Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

A Note on an Inferentialist Approach to Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Categorical Proof-Theoretic Semantics
par: Pym, David, et autres
Publié: (2023)

Continuations and Completeness in Proof-theoretic Semantics
par: Gu, Tao, et autres
Publié: (2026)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Semantic Foundations of Reductive Reasoning
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Bifurcation Logic: Separation Through Ordering
par: Galmiche, Didier, et autres
Publié: (2025)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Topologically valued transition structures
par: Collinson, Matthew
Publié: (2026)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
par: Yoo, Harim
Publié: (2025)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
par: Yin, David, et autres
Publié: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
par: Cabral, Rafael, et autres
Publié: (2025)

Investigations into Proof Structures
par: Wernhard, Christoph, et autres
Publié: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

An Undecidability Proof for the Plan Existence Problem
par: Achilleos, Antonis
Publié: (2026)

Large Language Model for OWL Proofs
par: Yang, Hui, et autres
Publié: (2026)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Towards Automated Readable Proofs of Ruler and Compass Constructions
par: Marinković, Vesna, et autres
Publié: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
par: Arkoudas, Konstantine, et autres
Publié: (2026)

StepProof: Step-by-step verification of natural language mathematical proofs
par: Hu, Xiaolin, et autres
Publié: (2025)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
par: Patel, Manooshree, et autres
Publié: (2025)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
par: Shen, Austin, et autres
Publié: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
par: Han, Sangjun, et autres
Publié: (2025)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
par: Metere, Alfredo
Publié: (2026)

Inference of Abstraction for a Unified Account of Reasoning and Learning
par: Kido, Hiroyuki
Publié: (2024)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
par: Buzoku, Yll
Publié: (2024)