Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023

DOI10.4171/OWR/2023/53zbMATH Open1546.00054MaRDI QIDQ6613397

Author name not available (Why is that?)

Publication date: 2 October 2024

Published in: Oberwolfach Reports (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
The Peirce translation
Classical negation and expansions of Belnap-Dunn logic
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces
Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
On quantitative versions of theorems due to F. E. Browder and R. Wittmann
On the computational complexity of cut-reduction
Building discretely ordered Bezout domains and GCD domains
Combinatory logic. With two sections by William Craig.
Proof analysis in modal logic
A quadratic rate of asymptotic regularity for CAT(0)-spaces
Constructive negations and paraconsistency
Strong convergence of a modified Krasnoselski-Mann iterative algorithm for non-expansive mappings
A minimalist two-level foundation for constructive mathematics
A modal calculus analogous to K4W, based on intuitionistic propositional logic, $I^0$
Constructivism in mathematics. An introduction. Volume II
Intuitionistic logic with strong negation
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
Strong convergence of modified Mann iterations
Sur quelques points de la logique de M. Brouwer.
Sequent calculi for intuitionistic Gödel-Löb logic
Quantitative results on a Halpern-type proximal point algorithm
A strongly convergent Krasnosel'skiǐ-Mann-type algorithm for finding a common fixed point of a countably infinite family of nonexpansive operators in Hilbert spaces
There are $2^{\mathfrak{c}}$ quasicontinuous non Borel functions on uncountable Polish space
On the compatibility between the minimalist foundation and constructive set theory
The normal and self-extensional extension of Dunn-Belnap logic
A Kuroda-style $j$-translation
On the removal of weak compactness arguments in proof mining
Circular proofs for the Gödel-Löb provability logic
Quantitative inconsistent feasibility for averaged mappings
On modified Halpern and Tikhonov-Mann iterations
Structural proof theory. With an appendix by Aarne Ranta
Collapsing modular counting in bounded arithmetic and constant depth propositional proofs
Proof Analysis
A metastable dominated convergence theorem
Krasnoselski-Mann Iterations in Normed Spaces
Quantified propositional calculi and fragments of bounded arithmetic
Arithmetization of the field of reals with exponentiation extended abstract
Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces
Constructible falsity and inexact predicates
On modal systems having arithmetical interpretations
Inducing strong convergence into the asymptotic behaviour of proximal splitting algorithms in Hilbert spaces
Some logical metatheorems with applications in functional analysis
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
ON THE UNCOUNTABILITY OF
Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
The viscosity approximation method for accretive operators in Banach spaces
PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
The finitary content of sunny nonexpansive retractions
Parity Games and Propositional Proofs
Reasoning in circles
Implicit proofs
Cut Elimination In Situ
Hypercontractivity, sum-of-squares proofs, and their applications
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
The solution by iteration of nonlinear functional equations in Banach spaces
On Dvoretzky's Stochastic Approximation Theorem
The Principal Type-Scheme of an Object in Combinatory Logic
A First Order Method for Solving Convex Bilevel Optimization Problems
Constructible falsity
Intuitionistische Untersuchungen der formalistischen Logik
A Stochastic Approximation Method
Complexity of Null- and Positivstellensatz proofs
THE DISCONTINUITY PROBLEM
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
Rates of asymptotic regularity for the alternating Halpern-Mann iteration
Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
Natural deduction calculi for classical and intuitionistic S5
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
A general Glivenko-Gödel theorem for nuclei

This page was built for publication: Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6613397)