:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Pischke, Nicholas
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2304.01723
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A systematic way of analysing proofs in probability theory
by: Neri, Morenikeji, et al.
Published: (2026)

Proof mining and probability theory
by: Neri, Morenikeji, et al.
Published: (2024)

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
by: Neri, Morenikeji, et al.
Published: (2025)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
by: Neri, Morenikeji, et al.
Published: (2026)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
by: Takemura, Ryo
Published: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

A model theoretic proof for o-minimal coherence theorem
by: Fu, Yayi
Published: (2023)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
by: Su, Youan
Published: (2025)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
by: Ehrhard, Thomas, et al.
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

On $NP \cap coNP$ proof complexity generators
by: Krajicek, Jan
Published: (2025)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

Model-theoretic properties of nilpotent groups and Lie algebras
by: d'Elbée, Christian, et al.
Published: (2023)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

Coalgebraic proof translations for non-wellfounded proofs
by: Miranda, Borja Sierra, et al.
Published: (2025)

A method for the automated generation of proof exercises with comparable levels of proving complexity
by: Mendes, João, et al.
Published: (2026)

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

A short nonstandard proof of the Spectral Theorem for unbounded self-adjoint operators
by: Matsunaga, Takashi
Published: (2024)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

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

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)