Journal: Review of symbolic logic - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Review of symbolic logic

1. $\mathrm {KF}$, $\mathrm {PKF}$, AND REINHARDT'S PROGRAM. Issue 1 (8th March 2023)

Authors:: CASTALDO, LUCA; STERN, JOHANNES
Journal:: Review of symbolic logic
Issue:: Volume 16:Issue 1(2023)
Page Start:: 33
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. 'CHASING' THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING. Issue 1 (28th October 2016)

Authors:: DE TOFFOLI, SILVIA
Journal:: Review of symbolic logic
Issue:: Volume 10:Issue 1(2017)
Page Start:: 158
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A BRIDGE BETWEEN Q-WORLDS. Issue 2 (2nd June 2021)

Authors:: DÖRING, ANDREAS; EVA, BENJAMIN; OZAWA, MASANAO
Journal:: Review of symbolic logic
Issue:: Volume 14:Issue 2(2021)
Page Start:: 447
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. A DUTCH BOOK THEOREM AND CONVERSE DUTCH BOOK THEOREM FOR KOLMOGOROV CONDITIONALIZATION. Issue 4 (28th May 2018)

Authors:: RESCORLA, MICHAEL
Journal:: Review of symbolic logic
Issue:: Volume 11:Issue 4(2018)
Page Start:: 705
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC. Issue 2 (31st August 2021)

Journal:: Review of symbolic logic
Issue:: Volume 15:Issue 2(2022)
Page Start:: 311
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS. Issue 2 (June 2020)

Authors:: PAILOS, FEDERICO MATÍAS
Journal:: Review of symbolic logic
Issue:: Volume 13:Issue 2(2020)
Page Start:: 249
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. A LEARNING-THEORETIC CHARACTERISATION OF MARTIN-LÖF RANDOMNESS AND SCHNORR RANDOMNESS. Issue 2 (4th June 2021)

Authors:: BLANDO, FRANCESCA ZAFFORA
Journal:: Review of symbolic logic
Issue:: Volume 14:Issue 2(2021)
Page Start:: 531
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. A MACHINE-ASSISTED PROOF OF GÖDEL'S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS. Issue 3 (3rd April 2014)

Authors:: PAULSON, LAWRENCE C.
Journal:: Review of symbolic logic
Issue:: Volume 7:Issue 3(2014)
Page Start:: 484
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH. Issue 4 (2nd December 2022)

Authors:: FREUND, ANTON
Journal:: Review of symbolic logic
Issue:: Volume 15:Issue 4(2022)
Page Start:: 880
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC. Issue 2 (12th February 2016)

Authors:: SHRAMKO, YAROSLAV
Journal:: Review of symbolic logic
Issue:: Volume 9:Issue 2(2016)
Page Start:: 251
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗