搜索页_Lindenbaum+algebra

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

Springer电子图书(1)

SpringerLink电子期刊(31)

ProQuest学位论文(1)

Elsevier电子期刊(15)

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

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

1.A universal Krull-Lindenbaum theorem

作者：Davide Rinaldi^a ; ^{daviderinaldi@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Peter Schuster^b ; ^{peter.schuster@univr.it" class="auth_mail" title="E-mail the corresponding author}

关键词：03E25

刊名：Journal of Pure and Applied Algebra

出版年：2016

2.Concurrent weighted logic

作者：Kim G. Larsen ^{kgl@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Radu Mardare ^{mardare@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Bingtian Xue ; ¹ ; ^{bingt@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：Non-compact modal logic ; Model theory ; Rasiowa&ndash ; Sikorski lemma ; Weighted transition systems ; Concurrency

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2015

3.Finite axiomatizability in Łukasiewicz logic

作者：Daniele Mundici ; ^a ; ^{mundici@math.unifi.it"" rel=""nofollow}

关键词：Ł ; ukasiewicz ; logic ; MV-algebra ; Finitely axiomatizable theory ; Finitely presented algebra ; Rational polyhedron ; Simplicial complex

刊名：Annals of Pure and Applied Logic

出版年：2011

4.Interpretation of De Finetti coherence criterion in Łukasiewicz Logic

作者：Daniele Mundici

关键词：De Finetti coherence criterion ; Dutch book ; Lukasiewicz logic ; MV-algebra ; Many-valued logics ; Borel probability measure

刊名：Annals of Pure and Applied Logic

出版年：2009

5.Bernoulli automorphisms of finitely generated free MV-algebras

作者：Giovanni Panti

刊名：Journal of Pure and Applied Algebra

出版年：2007

6.Provability algebras and proof-theoretic ordinals, I

作者：Beklemishev ; Lev D.

关键词：03F15 ; 03F45 ; Provability logic ; Provability algebra ; Ordinals

刊名：Annals of Pure and Applied Logic

出版年：2004

7.A logical approach to stable domains

作者：Yi-Xiang Chen ; Achim Jung

关键词：Disjunctive propositional logic ; Domain theory ; Information system ; L-domain ; Domain theory in logical form

刊名：Theoretical Computer Science

出版年：2006

8.Some results in dynamic model theory

作者：Kozen ; Dexter

关键词：03B60 ; 03B70 ; 03G05 ; 03G15 ; 06E25 ; 03C05 ; 08A70 ; 08B20 ; Model theory ; Kleene algebra ; Dynamic logic

刊名：Science of Computer Programming

出版年：2004

9.Topological duality for intuitionistic modal algebras

作者：Hilken ; Barnaby P.

关键词：03B45 ; 03B70 ; 06E15 ; 54H10 ; 54B30

刊名：Journal of Pure and Applied Algebra

出版年：2000

10.The Stone–Cech compactification of locales, III

作者：Banaschewski ; Bernhard ; Mulvey ; Christopher J.

关键词：Primary ; 06D22 ; secondary ; 03F55 ; 18D25 ; 54D30

刊名：Journal of Pure and Applied Algebra

出版年：2003

1

2

按检索点细分(15)

文摘(12)

按出版年细分(15)

2016年(1)

2015年(1)

2011年(1)

2009年(1)

2007年(1)

2006年(1)

2004年(2)

2003年(1)

2002年(1)

2001年(1)

2000年(1)

2000年及以前(3)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.