搜索页_+propositional+logic

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(1)	SpringerLink电子期刊(1678)	Elsevier电子期刊(681)
Springer电子图书(38)	ProQuest学位论文(33)	ACS电子期刊(2)

在“SpringerLink电子期刊”中，命中：1,678条，耗时：小于0.01 秒

在所有数据库中总计命中：2,433条

1. Equilibrium Semantics for IF Logic and Many-Valued Connectives

关键词：Game semantics ; IF logic ; Fuzzy logic ; Łukasiwicz logic ; Giles’s game

刊名：Lecture Notes in Computer Science

出版年：2017

2. Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic

关键词：Interval logic ; Hybrid logic ; Computational complexity

刊名：Lecture Notes in Computer Science

出版年：2017

3. Universal Models for the Positive Fragment of Intuitionistic Logic

关键词：Universal models ; Positive morphism ; Fragment of intuitionistic logic ; Jankov’s theorem

刊名：Lecture Notes in Computer Science

出版年：2017

4. Montagovian Paradoxes and Hyperintensional Content

作者： Dustin Tucker

关键词：Hyperintensionality ; Fine ; grained content ; Paradox of the Knower ; Propositional attitudes ; Syntactic attitudes

刊名：Studia Logica

出版年：2017

5. Constructing Natural Extensions of Propositional Logics

作者： Adam Přenosil

关键词：Abstract algebraic logic ; Consequence relations ; Propositional logic ; Natural extensions ; Transfer theorems

刊名：Studia Logica

出版年：2016

6. Structural completeness in propositional logics of dependence

作者： Rosalie Iemhoff ; Fan Yang

关键词：Structural completeness ; Dependence logic ; Inquisitive logic ; Intermediate logic

刊名：Archive for Mathematical Logic

出版年：2016

7. A Unified Semantics for a Family of Modal Logics with Propositional Constants

作者： Matteo Pascucci

关键词：Modal logic ; propositional constants ; general frames ; strict range

刊名：Logica Universalis

出版年：2016

8. The Lambek Calculus Extended with Intuitionistic Propositional Logic

作者： Michael Kaminski ; Nissim Francez

关键词：Lambek calculus ; Intuitionistic propositional logic ; Kripke Semantics ; Ternary semantics ; Sequent calculus ; Decidability

刊名：Studia Logica

出版年：2016

9. Propositional Dynamic Logic for Petri Nets with Iteration

关键词：Propositional dynamic logic ; Petri nets ; Modal logic

刊名：Lecture Notes in Computer Science

出版年：2016

10. On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras

作者： Peter Jipsen

刊名：Soft Computing

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(1678)

题名(235)

关键词(176)

文摘(1494)

按出版年细分(1678)

2017年(8)

2016年(72)

2015年(104)

2014年(114)

2013年(121)

2012年(121)

2011年(34)

2010年(67)

2009年(98)

2008年(117)

2007年(172)

2006年(151)

2005年(154)

2004年(60)

2003年(47)

2002年(54)

2001年(50)

2000年(44)

2000年及以前(90)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

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

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