On a generalized modularization theorem

DOI10.1016/S0020-0190(00)00037-5MaRDI QIDQ1607048zbMATH OpenOpenAlexFDO

Authors Theo Dimitrakos, Tim Maibaum

Publication date 25 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(00)00037-5

zbMATH Keywords

pushoutfaithful morphisms

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Interpolation, preservation, definability (03C40)

Recommendations

• On the generalized modulus
• scientific article; zbMATH DE number 3609884
• On the modular version of the Gluck-Wolf theorem
• On one generalization of modular subgroups
• scientific article; zbMATH DE number 7116919
• Modularity lifting theorems
• The structure of modular generalized invariants
• A generalization of the three modules theorem
• On certain generalized modular forms

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3938560 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 3609636 (Why is no real title available?)
• scientific article; zbMATH DE number 1543346 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3370308 (Why is no real title available?)
• A survey of proof theory
• Amalgamation and interpolation in the category of Heyting algebras
• Module algebra
• On pushout consistency, modularity and interpolation for logical specifications
• On the Modularization Theorem for logical specifications
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Undecidable theories

Cited in

(22)

• Generalised graded interpolation
• Mod 2 degree and a generalized No Retraction Theorem
• The institution-theoretic scope of logic theorems
• Generalization of the \(lq\)-modular closure theorem and applications
• On the lightness of the mappings satisfying generalized inverse modular inequalities
• On local modularity and interpolation in entailment systems.
• Two extension theorems. Modular functions on complemented lattices
• Generalized interpolation in CASL
• An institution-independent proof of the Robinson consistency theorem
• On the universal Burnside module
• (Heterogeneous) structured specifications in logics without interpolation
• A semantic approach to interpolation
• Interpolation in computing science: The semantics of modularization
• Interpolation in Grothendieck institutions
• On what exactly goes on when software is developed step-by-step. II: The sequel
• An axiomatic approach to structuring specifications
• An institution-independent proof of the Beth definability theorem
• scientific article; zbMATH DE number 7116919 (Why is no real title available?)
• scientific article; zbMATH DE number 6273999 (Why is no real title available?)
• Interpolation for predefined types
• Abstract Beth definability in institutions
• On modular invariance and rigidity theorems

This page was built for publication: On a generalized modularization theorem

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