Completeness and cut-elimination theorems for trilattice logics期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Completeness and cut-elimination theorems for trilattice logics

Authors:	Norihiro Kamide Heinrich Wansing

Institution:	^a Waseda Institute for Advanced Study, Waseda University, Japan ^b Department of Philosophy II, Ruhr University Bochum, Germany

Abstract:

Keywords:	Trilattice logics Trilattice _method=retrieve& _eid=1-s2 0-S0168007211000352& _mathId=si9 gif& _pii=S0168007211000352& _issn=01680072& _acct=C000051805& _version=1& _userid=1154080& md5=012b866ffaae19d6378f5675030a86e5')" style="cursor:pointer SIXTEEN₃" target="_blank">" alt="Click to view the MathML source" title="Click to view the MathML source">SIXTEEN₃ Sequent systems Co-ordinate valuations semantics Maehara&rsquo s method Schü tte&rsquo s method
本文献已被 ScienceDirect 等数据库收录！