Image de couverture de livre

Domains, Information Frames, Rough Sets: An Equivalence of Categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Spreen, Dieter
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic 06B35, 68Q55 F.3.m
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Domains, Information Frames, and Their Logic
par: Spreen, Dieter
Publié: (2025)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Notes on applicative matching logic
par: Leuştean, Laurenţiu
Publié: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
par: Alpay, Faruk, et autres
Publié: (2025)

Commutative N-polyregular functions
par: Lopez, Aliaume
Publié: (2024)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
par: Santacana, Andreu Ballus
Publié: (2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
par: Dagnino, Francesco, et autres
Publié: (2025)

A Classifying Topos for the Spectrum of Equivalences
par: Oggad, Kenan
Publié: (2026)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
par: Edalat, Abbas, et autres
Publié: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
par: Zhang, Manqing, et autres
Publié: (2026)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
par: Martinez-Rivillas, Daniel O., et autres
Publié: (2026)

Formalizing Computational Paths and Fundamental Groups in Lean
par: Ramos, Arthur F., et autres
Publié: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

On Equivalent Characterizations of NP in Abstract Models of Computation
par: Kirn, Jeremy C., et autres
Publié: (2025)

Principal Types as Partial Involutions
par: Honsell, Furio, et autres
Publié: (2024)

The Maude strategy language
par: Eker, Steven, et autres
Publié: (2024)

Compositionality in Coalgebraic Trace Semantics
par: Jourde, Robin, et autres
Publié: (2026)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
par: Galmiche, Didier, et autres
Publié: (2024)

The syntactic side of autonomous categories enriched over generalised metric spaces
par: Dahlqvist, Fredrik, et autres
Publié: (2022)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

Reversible computations are computations
par: Aubert, Clément, et autres
Publié: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
par: Alpay, Faruk, et autres
Publié: (2025)

Towards a theory of natural directed paths
par: Gaucher, Philippe
Publié: (2023)

The Solver's Paradox in Formal Problem Spaces
par: Rosko, Milan
Publié: (2025)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
par: Ramos, Arthur F., et autres
Publié: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Unifying lower bounds for algebraic machines, semantically
par: Seiller, Thomas, et autres
Publié: (2018)

An Expressive Trace Logic for Recursive Programs
par: Gurov, Dilian, et autres
Publié: (2024)

Simulating and model checking membrane systems using strategies in Maude
par: Rubio, Rubén, et autres
Publié: (2024)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

Cogent argument extensions are weakly admissible but not vice versa
par: Bodanza, Gustavo
Publié: (2025)

Arithmetics within the Linear Time Hierarchy
par: Pollett, Chris
Publié: (2025)

Monitoring Hyperproperties over Observed and Constructed Traces
par: Chalupa, Marek, et autres
Publié: (2025)

Provability in BI's Sequent Calculus is Decidable
par: Gheorghiu, Alexander, et autres
Publié: (2021)

Decidable Reversible Equivalences for Finite Petri Nets
par: Gorrieri, Roberto, et autres
Publié: (2025)

Braids, twists, trace and duality in combinatory algebras
par: Hasegawa, Masahito, et autres
Publié: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)