搜索页_intuitionism+

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(91)

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

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

1. Ethical Intuitionism: A Structural Critique

作者： Danny Frederick

刊名：The Journal of Value Inquiry

出版年：2016

2. Some Comments on Ian Rumfitt’s Bilateralism

作者： Nils Kürbis

关键词：Negation ; Denial ; Classical logic ; Intuitionist logic ; Harmony ; Proof ; theoretic semantics

刊名：Journal of Philosophical Logic

出版年：2016

3. An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

关键词：Intuitionistic epistemic logic ; Logic of proofs ; Arithmetic interpretation ; Intuitionistic knowledge ; BHK semantics ; Verification

刊名：Lecture Notes in Computer Science

出版年：2016

4. Sequent Calculus for Intuitionistic Epistemic Logic IEL

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

刊名：Lecture Notes in Computer Science

出版年：2016

5. Moral intuitionism and disagreement

作者：Brian Besong (1)

关键词：Moral epistemology ; Moral intuitionism ; Seemings ; Disagreement ; Skepticism

刊名：Synthese

出版年：2014

6. Relevance of the rationalist–intuitionist debate for ethics and professionalism in medical education

作者： G. Michael Leffel ; Ross A. Oakes Mueller…

关键词：Medical character education ; Moral intuitionism ; Moral psychology ; Professionalism ; Relationship ; centered care ; Social intuitionist model ; Virtue ethics

刊名：Advances in Health Sciences Education

出版年：2015

7. Degrees of Unsolvability: A Tutorial

关键词：Degrees of unsolvability ; Mass problems ; Turing degrees ; Muchnik degrees ; Algorithmic randomness ; Kolmogorov complexity ; Tiling problems ; Symbolic dynamics ; Intuitionism ; Sheaves ; Topoi

刊名：Lecture Notes in Computer Science

出版年：2015

8. Using Brouwer’s continuity principle to pick stocks

作者： Jack Douglas Stecher ; Mark van Atten

关键词：Intuitionism ; Rationality ; Constructive mathematics ; Equity valuation

刊名：Annals of Operations Research

出版年：2015

9. The pre-theoreticality of moral intuitions

作者： Christopher B. Kulp

关键词：Epistemology ; Moral intuitions ; Intuitionism ; Theoreticality ; Moral epistemology

刊名：Synthese

出版年：2014

10. Normalization proof for Peano Arithmetic

作者： Annika Siders

关键词：Normalization ; Peano Arithmetic ; Natural deduction ; 03F05 ; 03F30

刊名：Archive for Mathematical Logic

出版年：2015

1

2

3

4

5

6

7

8

9

按检索点细分(91)

题名(20)

关键词(48)

文摘(59)

按出版年细分(91)

2016年(4)

2015年(6)

2014年(8)

2013年(9)

2012年(4)

2011年(3)

2010年(5)

2009年(1)

2008年(4)

2007年(17)

2006年(5)

2005年(8)

2003年(4)

2002年(1)

2001年(1)

2000年(5)

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.