搜索页_+Intuitionistic+logic

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

Wiley电子期刊(1)	SpringerLink电子期刊(624)	NATURE电子期刊(1)
Springer电子图书(7)	ProQuest学位论文(5)	Elsevier电子期刊(325)

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

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

1. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

作者： Wesley H. Holliday

关键词：Medvedev frames ; Modal logic ; Definability ; Nominal tense logic ; Difference modality ; Complement modality ; Axiomatizability ; Kripke frame incompleteness

刊名：Studia Logica

出版年：2017

2. 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

3. Subintuitionistic Logics with Kripke Semantics

关键词：Subintuitionistic logic ; Intuitionistic logic ; Basic logic ; Conservativity ; Completeness ; Modus ponens

刊名：Lecture Notes in Computer Science

出版年：2017

4. Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic

作者： Diego Castaño ; Juan Manuel Cornejo

关键词：Semi ; intuitionistic logic ; Intuitionistic logic ; Semi ; Heyting algebras ; Heyting algebras ; Sequent calculus

刊名：Studia Logica

出版年：2016

5. On Gödel Algebras of Concepts

关键词：Intended semantics ; Concept lattice ; Many ; valued logic ; FCA ; Formal concept analysis ; Fuzzy logic ; Gödel Logic

刊名：Lecture Notes in Computer Science

出版年：2017

6. Bi-Simulating in Bi-Intuitionistic Logic

作者： Guillermo Badia

关键词：Bi ; intuitionistic logic ; Van Benthem’s characterization theorem ; Directed bisimulations ; Model theory

刊名：Studia Logica

出版年：2016

7. Subminimal negation

作者： Almudena Colacito ; Dick de Jongh ; Ana Lucia Vargas

刊名：Soft Computing

出版年：2017

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. Cofinal Stable Logics

作者： Guram Bezhanishvili ; Nick Bezhanishvili ; Julia Ilin

关键词：Intuitionistic logic ; Intuitionistic multi ; conclusion consequence relation ; Axiomatization ; Heyting algebra ; Variety ; Universal class

刊名：Studia Logica

出版年：2016

10. Sequent Calculus for Intuitionistic Epistemic Logic IEL

关键词：Modal logic ; Intuitionistic epistemic logic ; Sequent calculus ; Cut ; elimination ; PSPACE

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(624)

题名(147)

关键词(177)

文摘(502)

按出版年细分(624)

2017年(6)

2016年(33)

2015年(46)

2014年(30)

2013年(43)

2012年(25)

2011年(13)

2010年(26)

2009年(34)

2008年(37)

2007年(66)

2006年(47)

2005年(43)

2004年(15)

2003年(28)

2002年(35)

2001年(11)

2000年(27)

2000年及以前(59)

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.