Imagen de Portada

A Categorical Foundation of Rough Sets

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kakutani, Yoshihiko
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Representing Pedagogic Content Knowledge Through Rough Sets
por: Mani, A
Publicado: (2024)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

Categorical Proof-Theoretic Semantics
por: Pym, David, et al.
Publicado: (2023)

A Categorical Approach to DIBI Models
por: Gu, Tao, et al.
Publicado: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

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

Categorical generalization of spectral decomposition
por: Nishizawa, Koki, et al.
Publicado: (2025)

A Categorical Semantics for Linear Logical Frameworks
por: Vákár, Matthijs
Publicado: (2015)

A Categorical Approach to Coalgebraic Fixpoint Logic
por: Schoen, Ezra, et al.
Publicado: (2024)

A Unifying Categorical View of Nondeterministic Iteration and Tests
por: Goncharov, Sergey, et al.
Publicado: (2024)

On Complete Categorical Semantics for Effect Handlers
por: Kura, Satoshi
Publicado: (2026)

Proof Identity and Categorical Models of BV
por: Acclavio, Matteo, et al.
Publicado: (2026)

Strategies as Resource Terms, and their Categorical Semantics
por: Blondeau-Patissier, Lison, et al.
Publicado: (2023)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Categorical Foundations of Formalized Condensed Mathematics
por: Asgeirsson, Dagur, et al.
Publicado: (2024)

A Categorical Framework for Modeling with Stock and Flow Diagrams
por: Baez, John C., et al.
Publicado: (2022)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

A Simple Categorical Calculus of Interacting Processes
por: Nester, Chad, et al.
Publicado: (2026)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
por: Edalat, Abbas, et al.
Publicado: (2026)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
por: Atserias, Albert, et al.
Publicado: (2024)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
por: Lenke, Fabian, et al.
Publicado: (2026)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
por: McPheat, Lachlan, et al.
Publicado: (2020)

A New Tractable Description Logic under Categorical Semantics
por: Duc, Chan Le, et al.
Publicado: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
por: Nye, Logan
Publicado: (2025)

Logic of Sets with Atoms
por: Masters, Jake
Publicado: (2025)

A Categorical Treatment of Open Linear Systems
por: Stein, Dario, et al.
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Categorical Data Structures for Technical Computing
por: Patterson, Evan, et al.
Publicado: (2021)

Derivatives for Containers in Univalent Foundations
por: Joram, Philipp, et al.
Publicado: (2025)

Solving SAT By Computing A Stable Set Of Points In Clusters
por: Goldberg, Eugene
Publicado: (2025)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
por: Irani, Khashayar
Publicado: (2025)

A Foundation for Differentiable Logics using Dependent Type Theory
por: Affeldt, Reynald, et al.
Publicado: (2026)

Hammering Higher Order Set Theory
por: Brown, Chad E., et al.
Publicado: (2025)

Are Dependent Types in Set Theory Feasible?
por: Yang, Yunsong, et al.
Publicado: (2026)