Initial semantics in logics with constructors

DOI10.1093/logcom/exs044zbMath1319.68146OpenAlexW2098963989MaRDI QIDQ5176547

Kokichi Futatsugi, Daniel Găină

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 specificationinstitutioninitial semanticsconstructor-based logic

Mathematics Subject Classification ID

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

Related Items (4)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ On Automation of OTS/CafeOBJ Method ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

Uses Software

• CafeOBJ

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