DOI10.1016/S0019-9958(84)80055-8zbMath0599.03028MaRDI QIDQ3734374
Peter H. Schmitt
Publication date: 1984 Published in: Information and Control (Search for Journal in Brave)
zbMATH Keywords
regular programsbox formulascomplete proof system for diamond formulasrecursive set of axioms
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65)
Related Items