Buchumschlag

A propositional cirquent calculus for computability logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Japaridze, Giorgi
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Logic 03B47, 03B70, 03F03, 03F20, 68T15 F.1.1; F.1.2; F.1.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

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

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

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

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

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

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

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

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
von: Rosko, Milan
Veröffentlicht: (2025)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

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

Meaning as Use, Application, Employment, Purpose, Usefulness
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)