Gentzenization of Trilattice Logics期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Gentzenization of Trilattice Logics

Authors:	Mitio?Takano author-information" > author-information__contact u-icon-before" > mailto:takano@emeritus.niigata-u.ac.jp" title=" takano@emeritus.niigata-u.ac.jp" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author

Affiliation:	1.Niigata University,Niigata,Japan

Abstract:	Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing (J Philos Logic 34:121–153, 2005).

Keywords:
本文献已被 SpringerLink 等数据库收录！