Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.45.2.04 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] S. Babenyshev and M. A. Martins, Behavioral Equivalence of Hidden k-Logics: An Abstract Algebraic Approach, Journal of Applied Logic, Vol. 16 (2016), pp. 72–91.
-
[2] M. Barr and C. Wells, Category Theory for Computing Science, Third Edition, Les Publications CRM, Montréal, 1999.
-
[3] W. J. Blok and B. Jónsson, Equivalence of Consequence Operations, Studia Logica, Vol. 83, No. 1/3 (2006), pp. 91–110.