Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.45.2.02 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25–63.
-
[2] S. Maehara, A general theory of completeness proofs, Annals of the Japan Association for Philosophy of Science 3:5 (1970), pp. 242–256.
-
[3] S. P. Odintsov, On axiomatizing Shramko-Wansing’s logic, Studia Logica 91 (2009), pp. 407–428.