:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Bridges, Douglas S.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03F60
Accesso online:	https://arxiv.org/abs/2502.09784
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Metric Double Complements of Convex Sets
di: Bridges, Douglas S.
Pubblicazione: (2025)

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

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

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

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

Tableau Proof Systems for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

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

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

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

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

Proof-theoretic dilator and intermediate pointclasses
di: Jeon, Hanul
Pubblicazione: (2025)

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

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

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

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

Fundamental sequences based on localization
di: Wilken, Gunnar
Pubblicazione: (2024)

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

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

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

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

Randomness versus superspeedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

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

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

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

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)

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

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

Definable Functions to Quotients in Ordered Abelian Groups
di: Wells, Harper
Pubblicazione: (2026)

Martin's measurable dilator
di: Jeon, Hanul
Pubblicazione: (2025)

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

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

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

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

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

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

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

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)