:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bridges, Douglas S.
Format:	Preprint
Published:	2025
Subjects:	Logic 03F60, 52A05
Online Access:	https://arxiv.org/abs/2510.15123
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Affine Hulls and Simplices: a Constructive Analysis
by: Bridges, Douglas S.
Published: (2025)

On the Constructive Theory of Jordan Curves
by: Bridges, Douglas S.
Published: (2025)

Improving Cauchy's Theorem in Constructive Analysis
by: Bridges, Douglas S.
Published: (2024)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

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

Convex sets and Axiom of Choice
by: Yoshinobu, Yasuo
Published: (2026)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
by: Nicolai, Carlo, et al.
Published: (2022)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Modelling Multiplicative Linear Logic via Deep Inference
by: Galor, Tomer, et al.
Published: (2024)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

A probabilistic look at the infinite hat-guessing game
by: Eldredge, Nathaniel
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
by: Ikegami, Daisuke, et al.
Published: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
by: Olarte, Carlos, et al.
Published: (2024)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
by: Cheng, Yong
Published: (2019)

Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
by: Zantedeschi, Daniel
Published: (2026)