scientific article; zbMATH DE number 529899

MaRDI QIDQ4285618zbMATH OpenFDO

Authors K. I. Rosenthal

Publication date 24 March 1994

Full work available at URL http://www.numdam.org/item?id=CTGDC_1993__34_4_267_0, https://eudml.org/doc/91529

zbMATH Keywords

semanticsmodal logictense logicquantaloidrelational presheaf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• scientific article; zbMATH DE number 4072929
• scientific article; zbMATH DE number 7731060
• scientific article; zbMATH DE number 2172965
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Free quantaloids

Cites work

• scientific article; zbMATH DE number 4072929 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3995063 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• A categorical manifesto
• An extension of the Galois theory of Grothendieck
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Bi-Heyting algebras, toposes and modalities
• Cartesian bicategories. I
• Free quantaloids
• Girard quantaloids
• Metric spaces, generalized logic, and closed categories
• Modal logics withn-ary connectives
• On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
• Quantales, observational logic and process semantics
• Quantaloidal nuclei, the syntactic congruence and tree automata
• Temporal Structures

Cited in

(7)

• A categorical equivalence between logical quantale modules and quantum B‐modules
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Quantaloids, enriched categories and automata theory
• scientific article; zbMATH DE number 4072929 (Why is no real title available?)
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers
• Order-enriched categorical models of the classical sequent calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4285618)