Cover Image

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Edalat, Abbas, Di Gianantonio, Pietro, Farjudian, Amin
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science 06B35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Continuous Domains for Function Spaces Using Spectral Compactification
by: Farjudian, Amin, et al.
Published: (2024)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
by: Dagnino, Francesco, et al.
Published: (2025)

A domain-theoretic framework for conditional probability and Bayesian updating in programming
by: Di Gianantonio, Pietro, et al.
Published: (2025)

A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
by: Di Gianantonio, Pietro, et al.
Published: (2022)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Domains, Information Frames, and Their Logic
by: Spreen, Dieter
Published: (2025)

Some Consistent Power Constructions
by: Zhou, Chengyu, et al.
Published: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice
by: Chen, Yu, et al.
Published: (2025)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

On Semi-simplicity Results in Residuated Lattices
by: Rostami, Esmaeil
Published: (2025)

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Graded String Diagrams for Imprecise Probability and Causal Intervention
by: Sarkis, Ralph, et al.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
by: Buriola, G., et al.
Published: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

FCA using the Concept Explorer in 2024
by: Vargas-GarcÍa, Edith, et al.
Published: (2024)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

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

CTMCs with Imprecisely Timed Observations
by: Badings, Thom, et al.
Published: (2024)

MV-frames
by: Nganou, Jean B
Published: (2024)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

A Cartesian Closed Category for Random Variables
by: Di Gianantonio, Pietro, et al.
Published: (2024)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

A Simple Formal Language for Probabilistic Decision Problems
by: Di Lavore, Elena, et al.
Published: (2024)

A new representation of finite Hoops using a new type of product of structures
by: Botur, Michal
Published: (2025)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Simple, subdirectly irreducible weakly dicomplemented lattices
by: Jeufack, Yannick Lea Tenkeu, et al.
Published: (2026)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
by: Kurilić, Miloš S.
Published: (2026)