Buchumschlag

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Inoué, Takao
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence 18F20, 03B70, 68T30, 18B25
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
von: Inoué, Takao
Veröffentlicht: (2026)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
von: Inoué, Takao
Veröffentlicht: (2026)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Relational Connectors and Heterogeneous Bisimulations
von: Nora, Pedro, et al.
Veröffentlicht: (2024)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

A Note on Los's Theorem for Kripke-Joyal Semantics
von: Aiguier, Marc, et al.
Veröffentlicht: (2024)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

Lambek pregroups are Frobenius spiders in preorders
von: Pavlovic, Dusko
Veröffentlicht: (2021)

Measuring data types
von: Mulder, Lukas, et al.
Veröffentlicht: (2024)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
von: Lambert, Michael J.
Veröffentlicht: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
von: Mesiti, Luca
Veröffentlicht: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
von: Otten, Daniël, et al.
Veröffentlicht: (2025)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

On Brain as a Mathematical Manifold: Neural Manifolds, Sheaf Semantics, and Leibnizian Harmony
von: Inoué, Takao
Veröffentlicht: (2026)

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

Coherence for logicians
von: Petric, Zoran, et al.
Veröffentlicht: (2024)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
von: d'Elbée, Christian
Veröffentlicht: (2024)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)