On the existence of free models in abstract algebraic institutions

DOI10.1016/0304-3975(85)90094-5zbMATH Open0608.68014OpenAlexW1971240584MaRDI QIDQ1085969FDOQ1085969

Andrzej Tarlecki

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90094-5

zbMATH Keywords

partial algebrasforgetful functorsabstract algebraic institutionsfree functorslogical system for writing specificationsspecifications of abstract data types

Mathematics Subject Classification ID

Data structures (68P05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Cites Work

• A theory of type polymorphism in programming
• Model theory
• Initial Algebra Semantics and Continuous Algebras
• Quasi-varieties in abstract algebraic institutions
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
• Final algebra semantics and data type extensions
• Algebraic and operational semantics of specifications allowing exceptions and errors
• Characterizing specification languages which admit initial semantics
• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Partial abstract types
• Axioms for abstract model theory
• On hierarchies of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (32)

• Equivalences among various logical frameworks of partial algebras
• May I borrow your logic? (Transporting logical structures along maps)
• Foundations for structuring behavioural specifications
• Specifications in an arbitrary institution
• Herbrand theorems in arbitrary institutions
• Structural induction in institutions
• Observational logic, constructor-based logic, and their duality.
• Interpolation and compactness in categories of pre-institutions
• Jewels of Institution-Independent Model Theory
• Category-based modularisation for equational logic programming
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• On observational equivalence and algebraic specification
• An institution-independent proof of the Robinson consistency theorem
• Partialising institutions
• Quasi-Boolean encodings and conditionals in algebraic specification
• Interpolation in Grothendieck institutions
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Some general results about proof normalization
• Preservation in many-valued truth institutions
• Algebraic-coalgebraic specification in CoCASL
• An axiomatic approach to structuring specifications
• Quasi-varieties in abstract algebraic institutions
• On the algebra of structured specifications
• Saturated models in institutions
• An institution-independent proof of the Beth definability theorem
• Ultraproducts and possible worlds semantics in institutions
• Interpolation for predefined types
• Foundations of logic programming in hybrid logics with user-defined sharing
• Relating CASL with other specification languages: the institution level.
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Implicit Partiality of Signature Morphisms in Institution Theory
• Toward formal development of programs from algebraic specifications: Implementations revisited

Uses Software

• ML

This page was built for publication: On the existence of free models in abstract algebraic institutions

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