搜索页_Lindenbaum+algebra

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

Springer电子图书(1)

CNKI学位论文(37)

知网期刊论文(6)

在“SpringerLink电子期刊”中，命中：31条，耗时：0.0109954 秒

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

1. A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic

作者： M. G. Peretyat’kin

关键词：first order logic ; incomplete theory ; finitely axiomatizable theory ; model ; theoretic property ; Tarski ; Lindenbaum algebra ; c.e. Boolean algebra ; Turing’s computability

刊名：Lobachevskii Journal of Mathematics

出版年：2015

2. The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models

作者：Mikhail G. Peretyat’kin (19)

关键词：finitely axiomatizable theory ; Tarski ; Lindenbaum algebra ; c.e. Boolean algebra ; countable saturated model ; computable family of types ; Turing computability ; hierarchy ; m ; complete set

刊名：Lecture Notes in Computer Science

出版年：2013

3. On the structure of the degrees of relative provability

作者： Uri Andrews ; Mingzhong Cai ; David Diamondstone…

刊名：Israel Journal of Mathematics

出版年：2015

4. Beyond Rasiowan Systems: Unital Deductive Systems

作者：Alexei Y. Muravitsky (1)

关键词：Primary 03B22 ; Secondary 03G27 ; Monotone structural deductive system ; consequence ; variety ; free algebra

刊名：Logica Universalis

出版年：2014

5. Remarks on the Scott–Lindenbaum Theorem

作者： Gillman Payette ; Peter K. Schotch

关键词：Dana Scott ; Lindenbaum ; Abstract entailment relations ; Structural rules

刊名：Studia Logica

出版年：2014

6.On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models

作者：Mikhail G. Peretyat’kin (1) m.g.peretyatkin@predicate-logic.org

刊名：Lecture Notes in Computer Science

出版年：2012

7. Adding Real Coefficients to ukasiewicz Logic: An Application to Neural Networks

作者：Antonio Di Nola (22)
Brunella Gerla (23)
Ioana Leustean (24)

关键词：Many ; valued logic ; ukasiewicz logic ; McNaughton functions ; Neural Networks ; MV ; algebras ; Riesz MV ; algebras

刊名：Lecture Notes in Computer Science

出版年：2013

8. Extension of belief functions to infinite-valued events

作者：Tomá? Kroupa (1) kroupa@utia.cas.cz

关键词：Belief function – MV ; algebra – Choquet integral – ?ukasiewicz logic – M?bius transform

刊名：Soft Computing - A Fusion of Foundations, Methodologies and Applications

出版年：2012

9.Weak effect algebras

作者：Thomas Vetterlein

关键词：Weak effect algebras ; BL ; algebras ; effect algebras ; subdirect product representation ; ordinal sum decomposition

刊名：Algebra Universalis

出版年：2008

10.Semi–Boolean and Hyper–Archimedean BL –Algebras

作者：Esko Turunen

关键词：Mathematical fuzzy logic ; BL– ; algrebra ; MV– ; algebra

刊名：Lecture Notes in Computer Science

出版年：2007

1

2

3

4

按检索点细分(31)

题名(2)

关键词(2)

文摘(26)

按出版年细分(31)

2015年(2)

2014年(2)

2013年(2)

2012年(2)

2010年(3)

2008年(4)

2007年(2)

2005年(2)

2003年(1)

2002年(3)

2001年(2)

2000年及以前(6)

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.