scientific article; zbMATH DE number 1086718

MaRDI QIDQ4362967zbMATH OpenFDO

Authors Till Mossakowski, Andrzej Tarlecki, Wiesław Pawłowski

Publication date 17 February 1998

zbMATH Keywords

categoriescombination of logical systemsinstitutionlimitsparchmentrepresentationuniversal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) General logic (03B99) Categorical logic, topoi (03G30)

Recommendations

• Combining logics I
• scientific article; zbMATH DE number 1189287
• A focused approach to combining logics
• scientific article; zbMATH DE number 972579
• scientific article; zbMATH DE number 47925
• Connecting logical representations and efficient computations
• Combining algebraizable logics
• Towards a general theory of the combination of logics
• scientific article; zbMATH DE number 993359
• Hybridizing a logical framework

Cited in

(10)

• On what exactly goes on when software is developed step-by-step. II: The sequel
• Logic of multicomponent systems and a combinatorial model of causal relationships
• Separating systems of conjunctions.
• Category localization semantics for specification refinements
• scientific article; zbMATH DE number 1189287 (Why is no real title available?)
• scientific article; zbMATH DE number 2079666 (Why is no real title available?)
• Parchments for CafeOBJ logics
• Presenting and combining inference systems. Presentations with inference rules
• Representing model theory in a type-theoretical logical framework
• Categorical foundations for structured specifications in \(\mathsf{Z}\)

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 Q4362967)