Abstract Beth definability in institutions (Q3410686): Difference between revisions

@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On pushout consistency, modularity and interpolation for logical specifications
+Normal rank
@@ Property / cites work @@
+Proof Systems for Institutional Logic
@@ Property / cites work: Proof Systems for Institutional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Interpolation in Grothendieck institutions
@@ Property / cites work: Interpolation in Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Regular and Strongly Finitary Structures Over Strongly Algebroidal                   Categories
+Normal rank
@@ Property / cites work @@
+Q5518320
@@ Property / cites work: Q5518320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+Normal rank
@@ Property / cites work @@
+Preface for Studia Logica special issue (2)
@@ Property / cites work: Preface for Studia Logica special issue (2) / rank @@
+Normal rank