Copertina

A Theory for Probabilistic Polynomial-Time Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Lijie, Li, Jiatu, Oliveira, Igor C., Williams, Ryan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computational Complexity Logic in Computer Science Logic 03F20 F.4.1; F.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

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

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

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

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

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

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

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

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

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

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

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

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

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

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

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

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Punctually Standard and Nonstandard Models of Natural Numbers
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

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

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
di: Ito, Sohei, et al.
Pubblicazione: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
di: Adams, Robin, et al.
Pubblicazione: (2015)

Neural networks as fuzzy logic formulas
di: Heiman, Damian, et al.
Pubblicazione: (2026)

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

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

Normal forms in cubical type theory
di: Huang, Xu
Pubblicazione: (2026)

Relational Models for the Lambek Calculus with Intersection and Constants
di: Kuznetsov, Stepan L.
Pubblicazione: (2022)

Local-Order-Invariant Logic on Classes of Bounded Degree
di: Aoki, Derek
Pubblicazione: (2025)

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Axiomatizing the Logic of Ordinary Discourse
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

A Note on Proper Relational Structures
di: Bjorndahl, Adam, et al.
Pubblicazione: (2025)