UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 65, doi. 10.1017/S1755020316000459
- By:
- Publication type:
- Article
Works matching IS 17550203 AND DT 2017 AND VI 10 AND IP 1
Results: 11
1
2
RSL volume 10 issue 1 Cover and Back matter.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. b1, doi. 10.1017/S1755020317000041
- Publication type:
- Article
3
RSL volume 10 issue 1 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. f1, doi. 10.1017/S175502031700003X
- Publication type:
- Article
4
LOGIC IN THE TRACTATUS.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 1, doi. 10.1017/S1755020316000472
- By:
- Publication type:
- Article
5
INSTANTIAL NEIGHBOURHOOD LOGIC.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 116, doi. 10.1017/S1755020316000447
- By:
- Publication type:
- Article
6
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 145, doi. 10.1017/S175502031600037X
- By:
- Publication type:
- Article
7
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 187, doi. 10.1017/S1755020316000356
- By:
- Publication type:
- Article
8
GENERALIZING BOOLOS’ THEOREM.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 80, doi. 10.1017/S1755020316000332
- By:
- Publication type:
- Article
9
‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 158, doi. 10.1017/S1755020316000277
- By:
- Publication type:
- Article
10
LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 51, doi. 10.1017/S1755020316000228
- By:
- Publication type:
- Article
11
PROVING UNPROVABILITY.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 1, p. 92, doi. 10.1017/S1755020316000216
- By:
- Publication type:
- Article