:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Bridges, Douglas S.
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03F60
Acceso en línea:	https://arxiv.org/abs/2502.09784
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Metric Double Complements of Convex Sets
por: Bridges, Douglas S.
Publicado: (2025)

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

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

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

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

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

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

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)

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

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

Encoding Sequences in Intuitionistic Real Algebra
por: Erdélyi-Szabó, Miklós
Publicado: (2025)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
por: Erdélyi-Szabó, Miklós
Publicado: (2024)

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

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
por: Semenov, Stanislav
Publicado: (2025)

Generalizing Goodstein's theorem and Cichon's independence proof
por: Wilken, Gunnar
Publicado: (2025)

Fundamental sequences based on localization
por: Wilken, Gunnar
Publicado: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
por: Aguilera, Juan P., et al.
Publicado: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
por: Hartonas, Chrysafis
Publicado: (2023)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
por: Neri, Morenikeji
Publicado: (2024)

Benign approximations and non-speedability
por: Hölzl, Rupert, et al.
Publicado: (2023)

Randomness versus superspeedability
por: Hölzl, Rupert, et al.
Publicado: (2024)

The computational content of multidimensional discontinuity
por: Hölzl, Rupert, et al.
Publicado: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
por: Anttila, Aleksi, et al.
Publicado: (2025)

Exploring the abyss in Kleene's computability theory
por: Sanders, Sam
Publicado: (2023)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)

First-order aspects of Artin groups
por: Cassella, Alberto, et al.
Publicado: (2025)

Definable Functions to Quotients in Ordered Abelian Groups
por: Wells, Harper
Publicado: (2026)

Martin's measurable dilator
por: Jeon, Hanul
Publicado: (2025)

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

Computable Approximations of Semicomputable Graphs
por: Čačić, Vedran, et al.
Publicado: (2024)

Computability of the Hahn-Banach Theorem Revisited
por: Brattka, Vasco, et al.
Publicado: (2026)

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

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

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)