Constructor-based logics

MaRDI QIDQ2816365zbMATH OpenFDO

Authors Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata

Publication date 8 July 2016

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_18_16/constructor_based_logics

zbMATH Keywords

completenessconstructorHorn logicinductioninstitutionproof theory

Mathematics Subject Classification ID

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

Recommendations

• Constructor-based institutions
• Interpolation in logics with constructors
• Initial semantics in logics with constructors
• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 3887681

Cited in

(14)

• Birkhoff style calculi for hybrid logics
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• Interpolation in logics with constructors
• 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
• Constructor-Based Inductive Theorem Prover
• Constructor-based institutions
• Initial semantics in logics with constructors
• A Maude environment for CafeOBJ
• Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
• On Automation of OTS/CafeOBJ Method
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
• Model-theoretic forcing in transition algebra

This page was built for publication: Constructor-based logics

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