Building Structured Theories

DOI10.1007/978-3-642-21070-9_1MaRDI QIDQ3007564zbMATH OpenOpenAlexFDO

Authors Bernhard Möller

Publication date 17 June 2011

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21070-9_1

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Constructing general models of theory dynamics
• On representations of intended structures in foundational theories
• scientific article; zbMATH DE number 4101139
• Structured theory presentations and logic representations
• scientific article; zbMATH DE number 4097351
• scientific article; zbMATH DE number 549993
• scientific article; zbMATH DE number 1614690
• scientific article; zbMATH DE number 1149411
• Structuring theories with implicit morphisms
• On one approach for constructing a structural systems theory

Cited in

(11)

• High-Level Theories
• Leveraging the information contained in theory presentations
• Theory presentation combinators
• Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems
• scientific article; zbMATH DE number 3847387 (Why is no real title available?)
• The Universal Theory Tool Building Toolkit Is Substructural
• The epsilon-reconstruction of theories and scientific structuralism
• scientific article; zbMATH DE number 3896906 (Why is no real title available?)
• Structuring theories with implicit morphisms
• Structure formation in large theories
• On one approach for constructing a structural systems theory

This page was built for publication: Building Structured Theories

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