Corresponding author: Daniel Găină ( daniel@jaist.ac.jp ) © Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata. This article is freely available under the J.UCS Open Content License. Citation:
Găină D, Futatsugi K, Ogata K (2012) Constructor-based Logics. JUCS - Journal of Universal Computer Science 18(16): 2204-2233. https://doi.org/10.3217/jucs-018-16-2204 |