zbMath1362.68193MaRDI QIDQ2816365
Kazuhiro Ogata, Kokichi Futatsugi, Daniel Găină
Publication date: 8 July 2016
Full work available at URL: http://www.jucs.org/jucs_18_16/constructor_based_logics
zbMATH Keywords
completeness; proof theory; induction; constructor; Horn logic; institution
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi