Research Article
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
- Part of:
-
- Published online by Cambridge University Press:
- 22 March 2021, pp. 979-1010
-
- Article
-
- You have access
- HTML
- Export citation
GÖDEL ON MANY-VALUED LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 22 February 2021, pp. 655-671
-
- Article
-
- You have access
- Export citation
PREDICATIVISM AS A FORM OF POTENTIALISM
- Part of:
-
- Published online by Cambridge University Press:
- 23 November 2021, pp. 1-32
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 25 August 2020, pp. 339-350
-
- Article
-
- You have access
- HTML
- Export citation
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
- Part of:
-
- Published online by Cambridge University Press:
- 27 February 2023, pp. 1011-1032
-
- Article
-
- You have access
- HTML
- Export citation
$\mathrm {KF}$ , $\mathrm {PKF}$ , AND REINHARDT’S PROGRAM
- Part of:
-
- Published online by Cambridge University Press:
- 08 February 2022, pp. 33-58
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- Part of:
-
- Published online by Cambridge University Press:
- 07 July 2022, pp. 351-368
-
- Article
-
- You have access
- HTML
- Export citation
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
- Part of:
-
- Published online by Cambridge University Press:
- 02 July 2021, pp. 672-699
-
- Article
-
- You have access
- HTML
- Export citation
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
- Part of:
-
- Published online by Cambridge University Press:
- 03 December 2021, pp. 700-739
-
- Article
-
- You have access
- HTML
- Export citation
BOLZANO’S MATHEMATICAL INFINITE
- Part of:
-
- Published online by Cambridge University Press:
- 22 February 2021, pp. 59-113
-
- Article
-
- You have access
- Export citation
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS
- Part of:
-
- Published online by Cambridge University Press:
- 02 July 2021, pp. 369-384
-
- Article
-
- You have access
- HTML
- Export citation
FRACTIONAL-VALUED MODAL LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 31 August 2021, pp. 1033-1052
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION
- Part of:
-
- Published online by Cambridge University Press:
- 02 December 2021, pp. 740-787
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TOWARDS THE INEVITABILITY OF NON-CLASSICAL PROBABILITY
- Part of:
-
- Published online by Cambridge University Press:
- 21 February 2022, pp. 1053-1079
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Part of:
-
- Published online by Cambridge University Press:
- 01 September 2021, pp. 385-424
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE LATTICE OF SUPER-BELNAP LOGICS
- Part of:
-
- Published online by Cambridge University Press:
- 21 April 2021, pp. 114-163
-
- Article
-
- You have access
- HTML
- Export citation
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Part of:
-
- Published online by Cambridge University Press:
- 25 March 2021, pp. 425-448
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
- Part of:
-
- Published online by Cambridge University Press:
- 02 July 2021, pp. 1080-1109
-
- Article
-
- You have access
- HTML
- Export citation
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Part of:
-
- Published online by Cambridge University Press:
- 31 August 2021, pp. 788-812
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Part of:
-
- Published online by Cambridge University Press:
- 02 December 2021, pp. 164-187
-
- Article
-
- You have access
- HTML
- Export citation