| dc.contributor.author | Takano, Mitio | |
| dc.date.accessioned | 2017-05-16T10:01:05Z | |
| dc.date.available | 2017-05-16T10:01:05Z | |
| dc.date.issued | 2016 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/21625 | |
| dc.description.abstract | A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | en_GB |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;2 | |
| dc.subject | logical bilattice | en_GB |
| dc.subject | sequent calculus | en_GB |
| dc.title | Axiomatization of a Basic Logic of Logical Bilattices | en_GB |
| dc.type | Article | en_GB |
| dc.rights.holder | © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016 | en_GB |
| dc.page.number | [79]-91 | |
| dc.contributor.authorAffiliation | Niigata University | |
| dc.identifier.eissn | 2449-836X | |
| dc.references | O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25–63. | en_GB |
| dc.references | S. Maehara, A general theory of completeness proofs, Annals of the Japan Association for Philosophy of Science 3:5 (1970), pp. 242–256. | en_GB |
| dc.references | S. P. Odintsov, On axiomatizing Shramko-Wansing’s logic, Studia Logica 91 (2009), pp. 407–428. | en_GB |
| dc.references | A. Pietz and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42 (2013), pp. 125–135. | en_GB |
| dc.references | Y. Shramko and H. Wansing, Some usuful 16-valued logics: How a computer network should think, Journal of Philosophical Logic 34 (2005), pp. 121–153. | en_GB |
| dc.references | M. Takano, Gentzenization of trilattice logics, Studia Logica 104 (2016), pp. 917–929. | en_GB |
| dc.contributor.authorEmail | takano@emeritus.niigata-u.ac.jp | |
| dc.identifier.doi | 10.18778/0138-0680.45.2.02 | |
| dc.relation.volume | 45 | en_GB |
