zbMath0945.03096MaRDI QIDQ3839062
Wiesław Pawłowski
Publication date: 13 August 1998
zbMATH Keywords
categoryuniversal constructionscontext institutioncontext parchmentmodular construction of logics
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Abstract model theory (03C95)
Related Items