搜索页_+Substructural+logics

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(1)	SpringerLink电子期刊(106)	Elsevier电子期刊(28)
Springer电子图书(1)	ProQuest学位论文(2)

在“Elsevier电子期刊”中，命中：28条，耗时：小于0.01 秒

在所有数据库中总计命中：138条

1.Basic substructural core fuzzy logics and their extensions: Mianorm-based logics

作者：Eunsuk Yang ; ^{eunsyang@jbnu.ac.kr" class="auth_mail" title="E-mail the corresponding author}

关键词：Substructural logics ; MIA operators ; Mianorms ; Non-associative ; non-commutative fuzzy logics

刊名：Fuzzy Sets and Systems

出版年：2016

2.Algebraic proof theory: Hypersequents and hypercompletions

作者：Agata Ciabattoni^a ; ^{agata@logic.at} ; Nikolaos Galatos^b ; ^{ngalatos@du.edu} ; Kazushige Terui^c ; ^{terui@kurims.kyoto-u.ac.jp}

关键词：03B47 ; 03G10 ; 03F05 ; 03F03

刊名：Annals of Pure and Applied Logic

出版年：2017

3.Single chain completeness and some related properties

作者：Stefano Aguzzoli ^{aguzzoli@di.unimi.it" class="auth_mail" title="E-mail the corresponding author} ; Matteo Bianchi ; ^{matteo.bianchi@unimi.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Many-valued logics ; Monoidal t-norm based logic ; Single chain completeness ; Variable separation properties ; Substructural logics ; Halldé ; n completeness

刊名：Fuzzy Sets and Systems

出版年：2016

4.Polynomial space hardness without disjunction property

作者：Simone Bova^a ; ^{simone.bova@vanderbilt.edu} ; Franco Montagna^b ; ^{franco.montagna@unisi.it}

关键词：Substructural logics ; Computational complexity

刊名：Theoretical Computer Science

出版年：2013

5.Disjunction property and complexity of substructural logics

作者：Rostislav Horč ; í ; k^a ; ^{horcik@cs.cas.cz"" rel=""nofollow} ; Kazushige Terui^b ; ^{terui@kurims.kyoto-u.ac.jp"" rel=""nofollow}

关键词：Substructural logics ; Disjunction property ; Computational complexity

刊名：Theoretical Computer Science

出版年：2011

6.Leibniz interpolation properties

作者：Leonardo Cabrer ; Jos茅 Gil-F茅rez

关键词：03G27 ; 03B47 ; 06D35 ; 03C40

刊名：Annals of Pure and Applied Logic

出版年：April, 2014

7.Relational semantics for full linear logic

作者：Dion Coumans ; Mai Gehrke ; Lorijn van Rooijen

关键词：Linear logic ; Relational semantics ; Canonical extensions ; Phase semantics

刊名：Journal of Applied Logic

出版年：March, 2014

8.Fuzzy logics from substructural perspective

作者：Tomasz Kowalski ; Hiroakira Ono

关键词：Basic fuzzy logic ; Monoidal t-norm logic ; Substructural logics ; Residuated lattices ; Interpolation property ; Finite model property

刊名：Fuzzy Sets and Systems

出版年：2010

9.Algebraic proof theory for substructural logics: Cut-elimination and completions

作者：Agata Ciabattoni^a ; ^{agata@logic.at} ; Nikolaos Galatos^b ; ^{ngalatos@du.edu} ; Kazushige Terui^c ; ^{terui@kurims.kyoto-u.ac.jp}

关键词：03B47 ; 06F05 ; 03G10 ; 08B15

刊名：Annals of Pure and Applied Logic

出版年：2012

10.A logic of non-monotonic interactions

作者：Giovanni Boniolo^a ; ^b ; ^{giovanni.boniolo@ieo.eu} ; Marcello D?Agostino^c ; ^dgm@unife.it ; Mario Piazza^d ; ^{mpiazza@unich.it} ; Gabriele Pulcini^d ; ^{gab.pulcini@gmail.com}

关键词：Zsyntax ; Substructural logics ; Non-associative sequent calculi ; Non-monotonicity ; Proof-nets ; Molecular biology

刊名：Journal of Applied Logic

出版年：2013

按检索点细分(28)

题名(5)

关键词(14)

文摘(20)

按出版年细分(28)

2027年及以后(2)

2017年(1)

2016年(2)

2013年(2)

2012年(1)

2011年(1)

2010年(3)

2009年(2)

2008年(1)

2007年(4)

2006年(1)

2004年(2)

2003年(1)

2002年(2)

2000年(2)

2000年及以前(1)