6434 results in Logic, categories and Sets
17 - Synthetic Topology
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 445-482
-
- Chapter
- Export citation
26 - Computational Aspects of Bishop’s Constructive Mathematics
- from Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 715-748
-
- Chapter
- Export citation
15 - Bishop Metric Spaces in Formal Topology
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 395-425
-
- Chapter
- Export citation
Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 713-714
-
- Chapter
- Export citation
![](http://assets.cambridge.org/97813165/10865/cover/9781316510865.jpg)
Handbook of Constructive Mathematics
-
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 25 April 2023, pp. 546-585
- Print publication:
- June 2024
-
- Article
- Export citation
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 March 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 21 March 2023, pp. 1-26
-
- Article
- Export citation
AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 March 2023, pp. 586-610
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 27 February 2023, pp. 1011-1032
- Print publication:
- December 2023
-
- Article
- Export citation
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 27 February 2023, pp. 493-508
- Print publication:
- June 2024
-
- Article
- Export citation
RSL volume 16 issue 1 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 February 2023, pp. b1-b2
- Print publication:
- March 2023
-
- Article
-
- You have access
- Export citation
RSL volume 16 issue 1 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 February 2023, pp. f1-f4
- Print publication:
- March 2023
-
- Article
-
- You have access
- Export citation
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 16 January 2023, pp. 132-143
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 23 December 2022, pp. 178-205
- Print publication:
- March 2024
-
- Article
- Export citation
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 05 December 2022, pp. 509-545
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Chapter 1 - Introduction
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 1-18
-
- Chapter
- Export citation
Chapter 6 - Normalizing Stacks of Iteration Trees
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 221-290
-
- Chapter
- Export citation
6 - Cut Elimination
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 138-165
-
- Chapter
- Export citation
2 - Propositional Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 28-58
-
- Chapter
- Export citation