1635 results in Bulletin of Symbolic Logic
Model Theory in a Paraconsistent Environment
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, p. 216
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
REVIEWS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, pp. 212-214
- Print publication:
- June 2021
-
- Article
- Export citation
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 06 May 2021, pp. 436-460
- Print publication:
- December 2021
-
- Article
- Export citation
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 April 2021, pp. 187-211
- Print publication:
- June 2021
-
- Article
- Export citation
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 29 April 2021, pp. 461-484
- Print publication:
- December 2021
-
- Article
- Export citation
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 28 April 2021, pp. 1-26
- Print publication:
- March 2022
-
- Article
- Export citation
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 06 May 2021, pp. 39-66
- Print publication:
- March 2021
-
- Article
- Export citation
2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. 102-106
- Print publication:
- March 2021
-
- Article
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. 107-112
- Print publication:
- March 2021
-
- Article
-
- You have access
- HTML
- Export citation
BSL volume 27 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. b1-b2
- Print publication:
- March 2021
-
- Article
-
- You have access
- Export citation
2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. 98-101
- Print publication:
- March 2021
-
- Article
- Export citation
BSL volume 27 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. f1-f4
- Print publication:
- March 2021
-
- Article
-
- You have access
- Export citation
William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21–75.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. 91-93
- Print publication:
- March 2021
-
- Article
- Export citation
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 13 July 2021, pp. 94-97
- Print publication:
- March 2021
-
- Article
- Export citation
STRONG COLORINGS OVER PARTITIONS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 22 February 2021, pp. 67-90
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DISJUNCTIONS WITH STOPPING CONDITIONS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 231-253
- Print publication:
- September 2021
-
- Article
- Export citation
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 113-167
- Print publication:
- June 2021
-
- Article
- Export citation
An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 297-298
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
Measurable combinatorics and orbit equivalence relations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 300-301
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, p. 312
- Print publication:
- December 2020
-
- Article
- Export citation