Comorphism-based Grothendieck logics

DOI10.1007/3-540-45687-2_49MaRDI QIDQ4708606zbMATH OpenFDO

Authors Till Mossakowski

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)

Recommendations

• Foundations of heterogeneous specification.
• Institutional 2-cells and Grothendieck Institutions
• Generalized Theoroidal Institution Comorphisms
• Comorphisms of structured institutions
• Towards heterogeneous specifications

Cited in

(19)

• Interpolation in Grothendieck institutions
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Towards a functional approach to modular ontologies using institutions
• Introducing H, an institution-based formal specification and verification language
• Development graphs -- proof management for structured specifications
• Morphism axioms
• Comorphisms of structured institutions
• Komori identities in algebraic logic
• Generalized Theoroidal Institution Comorphisms
• Heterogeneous Logical Environments for Distributed Specifications
• R n - and G n -logics
• scientific article; zbMATH DE number 10083 (Why is no real title available?)
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• CafeOBJ Traces
• Institutional 2-cells and Grothendieck Institutions
• Hybridisation of Institutions in HETS (Tool Paper).
• Foundations of heterogeneous specification.
• Grothendieck inclusion systems
• Translation structures for fuzzy model theory

This page was built for publication: Comorphism-based Grothendieck logics

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