:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kakutani, Yoshihiko
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2504.04218
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Representing Pedagogic Content Knowledge Through Rough Sets
by: Mani, A
Published: (2024)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

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

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

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

Categorical generalization of spectral decomposition
by: Nishizawa, Koki, et al.
Published: (2025)

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

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

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

On Complete Categorical Semantics for Effect Handlers
by: Kura, Satoshi
Published: (2026)

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

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

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

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

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

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

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

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

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

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

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

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

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

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

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

Categorical Construction of Logically Verifiable Neural Architectures
by: Nye, Logan
Published: (2025)

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

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

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

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

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

Set Theory in the Foundation of Math; Internal Classes and External Sets
by: Levin, Leonid A.
Published: (2022)

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

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

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

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

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

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