Copertina

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ito, Sohei, Tatsuta, Makoto
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Computational Complexity F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

New Bounds for the Ideal Proof System in Positive Characteristic
di: Behera, Amik Raj, et al.
Pubblicazione: (2025)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
di: Pratt-Hartmann, Ian
Pubblicazione: (2007)

Complexity of Nonassociative Lambek Calculus with classical logic
di: Płaczek, Paweł
Pubblicazione: (2024)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
di: Kazakov, Yevgeny, et al.
Pubblicazione: (2009)

Cut elimination for propositional cyclic proof systems with fixed-point operators
di: Hori, Hiromasa, et al.
Pubblicazione: (2023)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
di: Pratt-Hartmann, Ian
Pubblicazione: (2008)

CoLF Logic Programming as Infinitary Proof Exploration
di: Chen, Zhibo, et al.
Pubblicazione: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
di: Echenim, Mnacho, et al.
Pubblicazione: (2023)

Hypersequent Calculi Have Ackermannian Complexity
di: Balasubramanian, A. R., et al.
Pubblicazione: (2026)

Complexity of Łukasiewicz Modal Probabilistic Logics
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2025)

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

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

Structure-Guided Automated Reasoning
di: Bannach, Max, et al.
Pubblicazione: (2023)

What If Turing Had Preceded Gödel?
di: Oberhoff, Sebastian
Pubblicazione: (2024)

Set Theory in the Foundation of Math; Internal Classes and External Sets
di: Levin, Leonid A.
Pubblicazione: (2022)

Logic of Sets with Atoms
di: Masters, Jake
Pubblicazione: (2025)

Polynomial-time Tractable Problems over the $p$-adic Numbers
di: Fehm, Arno, et al.
Pubblicazione: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Semi-Substructural Logics à la Lambek
di: Wan, Cheng-Syuan
Pubblicazione: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
di: Barrett, Victoria, et al.
Pubblicazione: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
di: Becker, Justus
Pubblicazione: (2025)

On the Satisfaction Probabilities of $k$-CNF Formulas
di: Tantau, Till
Pubblicazione: (2022)

Constructive and Predicative Locale Theory in Univalent Foundations
di: Tosun, Ayberk
Pubblicazione: (2026)

A Proof of the Schröder-Bernstein Theorem in ACL2
di: Jurgensen, Grant
Pubblicazione: (2025)

Deducibility in the full Lambek calculus with weakening is HAck-complete
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Efficient Normalization of Linear Temporal Logic
di: Esparza, Javier, et al.
Pubblicazione: (2023)

Computation and Size of Interpolants for Hybrid Modal Logics
di: Jung, Jean Christoph, et al.
Pubblicazione: (2026)

On a Dependently Typed Encoding of Matching Logic
di: Kurucz, Ádám, et al.
Pubblicazione: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

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

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

Two Remarks about Game Semantics of Classical Logic
di: Coquand, Thierry
Pubblicazione: (2026)

Unified Gentzen Approach to Connexive Logics over Wansing's C
di: Kamide, Norihiro
Pubblicazione: (2024)

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
di: Binder, Sage, et al.
Pubblicazione: (2026)

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
di: Pacheco, Leonardo
Pubblicazione: (2025)

Two-Level Type Theory and Applications
di: Annenkov, Danil, et al.
Pubblicazione: (2017)

Ground Stratification for a Logic of Definitions with Induction
di: Guermond, Nathan, et al.
Pubblicazione: (2025)

A Resolution-Based Interactive Proof System for UNSAT
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
di: Pratt-Hartmann, Ian
Pubblicazione: (2004)