Progress in Multi-Physics Modeling of Innovative Lead-Cooled Fast Reactors
- 期刊名称Fusion Science and Technology
- 作者Bonifetto, R.; Dulla, S.; Ravetto, P.; Richard, L. Savoldi; Zanino, R.
- 卷第61卷
- 印刷ISSN1536-1055
- 电子ISSN1943-7641
- 文件大小637.86KB
- 发表时间2012-01
- DOI10.13182/fst12-a13435
- 页码293-297
Contextuality and Indistinguishabilityde Barros, José; Holik, Federico; Krause, Décio · Entropy · 2017
New trends in the foundations of scienceJean-Yves Béziau; Décio Krause · Synthese · 2007
Schrödinger logicsNewton C. A. da Costa; Décio Krause · Studia Logica · 1994
Indistinguishable particles and hidden variablesAdonai S. Sant’Anna; Décio Krause · 1997
Identity, Indiscernibility, and Philosophical ClaimsDécio Krause; Antonio Mariano Nogueira Coelho · 2005
Logical Aspects of Quantum (Non-)IndividualityDécio Krause · 2010
Quantum sortal predicatesDécio Krause; Steven French · Synthese · 2007
Remarks On Quantum OntologyDécio Krause · Synthese · 2000
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012