设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(79)
馆藏期刊(2)
院士团队服务(1)
CNKI学位论文(20862)
中国地质文献-英文(14)
馆藏书目(28)
综合电子资源(1)
CNKI期刊论文0611(48)
中国地质文献-中文(3)
地学标准(1)
万方学术会议(1)
知网期刊论文(21912)
馆藏电子书[解放前](2)
Springer电子图书(147)
CNKI会议论文(52)
万方学位论文(1)
在“
SpringerLink电子期刊
”中,
命中:
6,595
条,耗时:小于0.01 秒
在所有数据库中总计命中:
43,154
条
1.
Positive
truth
makers for negative
truth
s: a solution to Molnar’s problem
作者:
Jonas Waechter
关键词:
Metaphysics
;
Truth
making
;
Negation
;
Negative facts
;
Facts
;
Correspondence theory of
truth
刊名:Philosophical Studies
出版年:2017
2.
Carnapian and Tarskian semantics
作者:
Pierre Wagner
关键词:
Carnap
;
Tarski
;
Truth
;
Logical
truth
;
Semantics
刊名:Synthese
出版年:2017
3.
Measurement Theory Based on the
Truth
Values Violates Local Realism
作者:
Koji Nagata
关键词:
Quantum non locality
;
Quantum measurement theory
;
Formalism
刊名:International Journal of Theoretical Physics
出版年:2017
4.
Carnap and the invariance of logical
truth
作者:
Steve Awodey
关键词:
Carnap
;
Invariance
;
Analyticity
;
Logical syntax
;
Logicality
;
Univalence
刊名:Synthese
出版年:2017
5.
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
6.
Partial content and expressions of part and whole
作者:
Friederike Moltmann
关键词:
Part
;
whole
;
Partial content
;
Attitudinal object
;
Cognitive product
;
Truth
maker semantics
;
Partial
truth
;
Existence
刊名:Philosophical Studies
出版年:2017
7.
Non-classical Elegance for Sequent Calculus Enthusiasts
作者:
Andreas Fjellstad
关键词:
Non
;
classical logics
;
Non
;
transitive logic
;
Non
;
reflexive logic
;
Sequent calculus
;
Logics of
truth
刊名:Studia Logica
出版年:2017
8.
The Creation of Synthetic Digital Ground-
Truth
Images of Historic Cosmic Ray Data Recordings
关键词:
Image processing
;
Cosmic rays
;
Segmentation
;
Digitization
;
Degrade
;
Document images
;
Local adaptive binarization
;
Soft decisions
刊名:Lecture Notes in Computer Science
出版年:2017
9.
Atiśa’s
Satyadvayāvatāra
(
Bden pa gnyis la ’jug pa
) in the Tangut Translation: A Preliminary Study
作者:
K. Solonin
;
Kuowei Liu
关键词:
Tibetan Buddhism
;
Tangut Buddhism
;
Two
Truth
s
;
Atiśa
刊名:Journal of Indian Philosophy
出版年:2017
10.
Replies to commentators
作者:
Stephen Yablo
关键词:
Meaning
;
Truth
;
Metaphysics
;
Intentionality
;
Propositions
刊名:Philosophical Studies
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(6595)
题名(1122)
作者(16)
关键词(751)
文摘(5944)
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
.