搜索页_norm+logic

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(94)	SpringerLink电子期刊(1693)	GSW全文库(48)
Wiley电子期刊(19)	ProQuest学位论文(183)	Elsevier电子期刊(2078)
Springer电子图书(8)	NATURE电子期刊(70)	ACS电子期刊(22)

在“SpringerLink电子期刊”中，命中：1,693条，耗时：0.0339846 秒

在所有数据库中总计命中：4,215条

1. Normal Modal Logics Determined by Aligned Clusters

作者： Zofia Kostrzycka ; Yutaka Miyazaki

关键词：Brouwer modal logic ; Kripke frames ; Characteristic formulas ; Normal extensions

刊名：Studia Logica

出版年：2017

2. On strong standard completeness in some MTL logic.com/appservices/search">\(_\Delta \) expansions

作者： Amanda Vidal ; Félix Bou ; Francesc Esteva ; Lluís Godo

关键词：Mathematical fuzzy logic ; Left ; continuous t ; norms ; Monoidal t ; norm logic ; Infinitary rules ; Standard completeness

刊名：Soft Computing

出版年：2017

3. Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL

关键词：Minimally many ; valued logics ; Almost minimal varieties ; MTL ; algebras ; Single chain generated varieties ; Booleanising formulas

刊名：Lecture Notes in Computer Science

出版年：2017

4. Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions

作者： Paul Christian Dawkins ; John Paul Cook

关键词：Truth ; functional logic ; Guided reinvention ; Disjunctions ; Reasoning about logic ; Quantification

刊名：Educational Studies in Mathematics

出版年：2017

5. Frege and Carnap on the normativity of logic

作者： Florian Steinberger

关键词：Rudolf Carnap ; Gottlob Frege ; Normativity of logic ; Rationality ; Normativism about the mental

刊名：Synthese

出版年：2017

6. Commitments and interaction norms in organisations

作者： Mehdi Dastani ; Leendert van der Torre…

关键词：Commitments ; Normative organisations ; Operational semantics

刊名：Autonomous Agents and Multi-Agent Systems

出版年：2017

7. Users’ involvement in mental health services: programme logic model of an innovative initiative in integrated care

作者： Carolane Tremblay ; Valérie Coulombe…

关键词：Mental health services ; Shared values ; Integrated care ; Partnership ; Users’ involvement ; Carers’ involvement ; Programme logic model

刊名：International Journal of Mental Health Systems

出版年：2017

8. Density revisited

作者： George Metcalfe ; Constantine Tsinakis

关键词：Many ; valued logics ; Fuzzy logics ; Standard completeness ; Residuated lattices ; Semilinearity ; Density rule

刊名：Soft Computing

出版年：2017

9. Cancer: Bad luck or punishment?

作者： A. V. Lichtenstein

关键词：cancer ; bad luck hypothesis ; carcinogenesis ; mutagenesis ; extrinsic and intrinsic causes of cancer ; cancer prevention

刊名：Biochemistry (Moscow)

出版年：2017

10. Boltzmann Samplers for Closed Simply-Typed Lambda Terms

关键词：Boltzmann samplers ; Random generation of simply ; typed lambda terms ; Type inference ; Combinatorics of lambda terms ; Random generation of simply ; typed normal forms

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(1693)

题名(100)

关键词(130)

文摘(1329)

按出版年细分(1693)

2017年(13)

2016年(89)

2015年(119)

2014年(105)

2013年(114)

2012年(126)

2011年(41)

2010年(63)

2009年(92)

2008年(108)

2007年(165)

2006年(135)

2005年(115)

2004年(72)

2003年(64)

2002年(76)

2001年(48)

2000年(31)

2000年及以前(117)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700