Buchumschlag

Provability in BI's Sequent Calculus is Decidable

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gheorghiu, Alexander, Docherty, Simon, Pym, David
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science Symbolic Computation Logic 03B25 (Primary) 03D99, 68W68, 68Q68 (Secondary) F.0; I.1; F.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
von: Kattermann, David, et al.
Veröffentlicht: (2025)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Deciding subspace reachability problems with application to Skolem's Problem
von: Everett, Samuel
Veröffentlicht: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Normative Conditional Reasoning as a Fragment of HOL
von: Parent, Xavier, et al.
Veröffentlicht: (2023)

Topological Logics with Connectedness over Euclidean Spaces
von: Kontchakov, Roman, et al.
Veröffentlicht: (2011)

Solovay reducibility implies S2a-reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Languages of Words of Low Automatic Complexity Are Hard to Compute
von: Chen, Joey, et al.
Veröffentlicht: (2025)

From Gödel incompleteness to the consistency of circuit lower bounds
von: Atserias, Albert, et al.
Veröffentlicht: (2026)

Computability of Initial Value Problems
von: Brattka, Vasco, et al.
Veröffentlicht: (2024)

Variants of Solovay reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Intersection Types via Finite-Set Declarations
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Hallucination, abstention, and computable inseparability
von: Imamura, Takuma
Veröffentlicht: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
von: Dorochko, Leonid, et al.
Veröffentlicht: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
von: Nakano, Keisuke, et al.
Veröffentlicht: (2024)

State Algebra for Propositional Logic
von: Lesnik, Dmitry, et al.
Veröffentlicht: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
von: Huseynzade, Rafig
Veröffentlicht: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
von: Gabbay, Murdoch J.
Veröffentlicht: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Fine-tuned LLM-based Code Migration Framework
von: Grynets, Oleg, et al.
Veröffentlicht: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
von: Park, Sewon, et al.
Veröffentlicht: (2016)

Choiceless Polynomial Space
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

On Chaitin's Heuristic Principle and Halting Probability
von: Salehi, Saeed
Veröffentlicht: (2023)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
von: Donadello, Ivan, et al.
Veröffentlicht: (2024)