Image de couverture de livre

The TPTP Format for Interpretations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sutcliffe, Geoff, Steen, Alexander, Fontaine, Pascal, Kondylidou, Lydia
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

The Dependently Typed Higher-Order Form for the TPTP World
par: Ranalter, Daniel, et autres
Publié: (2025)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
par: Cailler, Julie, et autres
Publié: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
par: Steen, Alexander, et autres
Publié: (2022)

Tao's Equational Proof Challenge Accepted (Technical Report)
par: Kondylidou, Lydia, et autres
Publié: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

A Reduction of Input/Output Logics to SAT
par: Steen, Alexander
Publié: (2025)

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

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

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

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

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

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

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

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

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
par: Egolf, Derek, et autres
Publié: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
par: Baldan, Paolo, et autres
Publié: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
par: Jacobs, Swen, et autres
Publié: (2023)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
par: Aoto, Takahito, et autres
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Finite Variable Counting Logics with Restricted Requantification
par: Raßmann, Simon, et autres
Publié: (2024)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Decidability of MSO Reparameterization over Countable Chains
par: Rabinovich, Alexander
Publié: (2026)

Backtrackable Inprocessing
par: Nadel, Alexander
Publié: (2026)

Non-negative Rational Semantic Numeration Systems
par: Chunikhin, Alexander
Publié: (2026)

CHTW-systems with resource-depended parameters. CHTW(R)-systems
par: Chunikhin, Alexander Yu.
Publié: (2024)

Splitting Argumentation Frameworks with Collective Attacks and Supports
par: Berthold, Matti, et autres
Publié: (2026)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
par: Alkhairy, Maha, et autres
Publié: (2025)

The Church Synthesis Problem over Continuous Time
par: Rabinovich, Alexander, et autres
Publié: (2024)

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
par: Baumgartner, Alexander, et autres
Publié: (2025)

Synthesis of Infinite State Systems
par: Drucker, Ohad, et autres
Publié: (2025)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

The strength of the dominance rule
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2024)