1-20 of 1815
Subject: Logic
Save search
Sort by
Front Matter

ACKNOWLEDGEMENTS Get access

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Chapter

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES Get access

Nicola Gambino
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Chapter

APPLICATIONS OF INDUCTIVE DEFINITIONS AND CHOICE PRINCIPLES TO PROGRAM SYNTHESIS Get access

Ulrich Berger and Monika Seisenberger
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Chapter

SOME CONSTRUCTIVE ROADS TO TYCHONOFF Get access

Steven Vickers
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Chapter

CONSTRUCTIVE REVERSE MATHEMATICS: COMPACTNESS PROPERTIES Get access

Hajime Ishihara
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Front Matter

Preface Get access

in In Defence of Objective Bayesianism
Published: 29 April 2010
Chapter

3 Motivation Get access

Jon Williamson
in In Defence of Objective Bayesianism
Published: 29 April 2010
Chapter

4 Updating Get access

Jon Williamson
in In Defence of Objective Bayesianism
Published: 29 April 2010
Chapter

6 Objective Bayesian Nets Get access

Jon Williamson
in In Defence of Objective Bayesianism
Published: 29 April 2010
Chapter

6 The Russo–Williamson thesis and the question of whether smoking causes heart disease Get access

Donald Gillies
in Causality in the Sciences
Published: 17 March 2011
Chapter

8 When and how do people reason about unobserved causes? Get access

Benjamin Rottman and others
in Causality in the Sciences
Published: 17 March 2011
Chapter

10 The autonomy of psychology in the age of neuroscience Get access

Ken Aizawa and Carl Gillett
in Causality in the Sciences
Published: 17 March 2011
Chapter

11 Turing machines and causal mechanisms in cognitive science Get access

Lappi Otto and Anna‐Mari Rusanen
in Causality in the Sciences
Published: 17 March 2011
Chapter

13 Causal mechanisms in the social realm Get access

Daniel Little
in Causality in the Sciences
Published: 17 March 2011
Chapter

14 Getting past Hume in the philosophy of social science Get access

Ruth Groff
in Causality in the Sciences
Published: 17 March 2011
Chapter

15 Causal explanation: Recursive decompositions and mechanisms Get access

Michel Mouchart and Federica Russo
in Causality in the Sciences
Published: 17 March 2011
Chapter

16 Counterfactuals and causal structure Get access

Kevin D. Hoover
in Causality in the Sciences
Published: 17 March 2011
Chapter

19 Mechanism schemas and the relationship between biological theories Get access

Tudor M. Baetu
in Causality in the Sciences
Published: 17 March 2011
Chapter

20 Chances and causes in evolutionary biology: How many chances become one chance Get access

Roberta L. Millstein
in Causality in the Sciences
Published: 17 March 2011
Book Part

PART VI Computer science, probability, and statistics Get access

in Causality in the Sciences
Published: 17 March 2011