Axiomatization of a Basic Logic of Logical Bilattices

Estudos

View Publication Info
 
 
Field Value
 
Title Axiomatization of a Basic Logic of Logical Bilattices
 
Creator Takano, Mitio
 
Description 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.
 
Publisher Wydawnictwo Uniwersytetu Łódzkiego
 
Date 2016-06-30
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
 
Format application/pdf
 
Identifier https://czasopisma.uni.lodz.pl/bulletin/article/view/1479
10.18778/0138-0680.45.2.02
 
Source Bulletin of the Section of Logic; Vol 45 No 2 (2016); 79–91
Bulletin of the Section of Logic; Tom 45 Nr 2 (2016); 79–91
2449-836X
0138-0680
 
Language eng
 
Relation https://czasopisma.uni.lodz.pl/bulletin/article/view/1479/1141
 
Rights Copyright (c) 2016 © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016
http://creativecommons.org/licenses/by-nc-nd/4.0
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library