Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
From MaRDI portal
(Redirected from Publication:6613397)
Recommendations
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
- Mathematical logic: proof theory, type theory and constructive mathematics
- Proceedings of the fifth international workshop on classical logic and computation, CL\&C 2014, Vienna, Austria, July 13, 2014
Cites work
- A first order method for solving convex bilevel optimization problems
- A general Glivenko-Gödel theorem for nuclei
- A Kuroda-style \(j\)-translation
- A metastable dominated convergence theorem
- A minimalist two-level foundation for constructive mathematics
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, I^0
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space
- A quadratic rate of asymptotic regularity for CAT(0)-spaces
- A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
- A Stochastic Approximation Method
- 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
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Arithmetization of the field of reals with exponentiation extended abstract
- Building discretely ordered Bezout domains and GCD domains
- Circular proofs for the Gödel-Löb provability logic
- Classical negation and expansions of Belnap-Dunn logic
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs
- Combinatory logic. With two sections by William Craig.
- Complexity of Null- and Positivstellensatz proofs
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive negations and paraconsistency
- Constructivism in mathematics. An introduction. Volume II
- Cut Elimination In Situ
- From 2-sequents and linear nested sequents to natural deduction for normal modal logics
- scientific article; zbMATH DE number 440484 (Why is no real title available?)
- scientific article; zbMATH DE number 3121164 (Why is no real title available?)
- scientific article; zbMATH DE number 3912375 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 3214534 (Why is no real title available?)
- scientific article; zbMATH DE number 3250593 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- scientific article; zbMATH DE number 2247253 (Why is no real title available?)
- Hypercontractivity, sum-of-squares proofs, and their applications
- Implicit proofs
- Inducing strong convergence into the asymptotic behaviour of proximal splitting algorithms in Hilbert spaces
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- Intuitionistic logic with strong negation
- Intuitionistische Untersuchungen der formalistischen Logik
- Krasnoselski-Mann Iterations in Normed Spaces
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
- Natural deduction calculi for classical and intuitionistic S5
- Nonexpansive iterations in uniformly convex W-hyperbolic spaces
- On Dvoretzky's Stochastic Approximation Theorem
- On modal systems having arithmetical interpretations
- On modified Halpern and Tikhonov-Mann iterations
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
- On the compatibility between the minimalist foundation and constructive set theory
- On the computational complexity of cut-reduction
- On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces
- On the removal of weak compactness arguments in proof mining
- On the uncountability of \(\mathbb{R}\)
- Parity Games and Propositional Proofs
- Prenex normal form theorems in semi-classical arithmetic
- Proof Analysis
- Proof analysis in modal logic
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
- Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration
- Quantified propositional calculi and fragments of bounded arithmetic
- Quantitative inconsistent feasibility for averaged mappings
- Quantitative results on a Halpern-type proximal point algorithm
- Rates of asymptotic regularity for the alternating Halpern-Mann iteration
- Reasoning in circles
- Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
- Sequent calculi for intuitionistic Gödel-Löb logic
- Some logical metatheorems with applications in functional analysis
- Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
- Strong convergence of a modified Krasnoselski-Mann iterative algorithm for non-expansive mappings
- Strong convergence of modified Mann iterations
- Structural proof theory. With an appendix by Aarne Ranta
- Sur quelques points de la logique de M. Brouwer.
- THE DISCONTINUITY PROBLEM
- The finitary content of sunny nonexpansive retractions
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- The normal and self-extensional extension of Dunn-Belnap logic
- The Peirce translation
- The Principal Type-Scheme of an Object in Combinatory Logic
- The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs
- The solution by iteration of nonlinear functional equations in Banach spaces
- The viscosity approximation method for accretive operators in Banach spaces
- There are \(2^{\mathfrak{c}}\) quasicontinuous non Borel functions on uncountable Polish space
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)
