Initial semantics in logics with constructors

DOI10.1093/LOGCOM/EXS044MaRDI QIDQ5176547zbMATH OpenOpenAlexFDO

Authors Daniel Găină, Kokichi Futatsugi

Publication date 26 February 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4a8f7aedf37a4468682f6160936cbd6d20f8372e

zbMATH Keywords

algebraic specificationconstructor-based logicinitial semanticsinstitution

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Constructor-based logics
• On the existence of free models in abstract algebraic institutions
• Initial semantics of logic specifications with negation
• Constructor-based institutions
• scientific article; zbMATH DE number 5263431

Cited in

(9)

• Initial semantics of logic specifications with negation
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Stability of termination and sufficient-completeness under pushouts via amalgamation
• Foundations of logic programming in hybrid logics with user-defined sharing
• Piecewise initial algebra semantics
• Constructor-based logics
• Constructor-based institutions
• On Automation of OTS/CafeOBJ Method
• scientific article; zbMATH DE number 5263431 (Why is no real title available?)

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Initial semantics in logics with constructors

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