RSL volume 13 issue 4 Cover and Back matter.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. b1, doi. 10.1017/s1755020320000106
- Publication type:
- Article
Works matching IS 17550203 AND DT 2020 AND VI 13 AND IP 4
Results: 14
1
2
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 776, doi. 10.1017/S1755020319000613
- By:
- Publication type:
- Article
3
RSL volume 13 issue 4 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. f1, doi. 10.1017/S1755020320000106
- Publication type:
- Article
4
LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 748, doi. 10.1017/S1755020319000509
- By:
- Publication type:
- Article
5
A NOTE ON THE CUT-ELIMINATION PROOF IN "TRUTH WITHOUT CONTRA(DI)CTION".
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 882, doi. 10.1017/S1755020319000571
- By:
- Publication type:
- Article
6
FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 810, doi. 10.1017/S1755020319000431
- By:
- Publication type:
- Article
7
CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 887, doi. 10.1017/S1755020319000388
- By:
- Publication type:
- Article
8
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 720, doi. 10.1017/S1755020319000261
- By:
- Publication type:
- Article
9
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 861, doi. 10.1017/S1755020319000224
- By:
- Publication type:
- Article
10
DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 845, doi. 10.1017/S175502031900011X
- By:
- Publication type:
- Article
11
CERTAIN MODERN IDEAS AND METHODS: "GEOMETRIC REALITY" IN THE MATHEMATICS OF CHARLOTTE ANGAS SCOTT.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 681, doi. 10.1017/S1755020319000066
- By:
- Publication type:
- Article
12
BUNDER'S PARADOX.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 829, doi. 10.1017/S1755020319000054
- By:
- Publication type:
- Article
13
SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 857, doi. 10.1017/S1755020319000042
- By:
- Publication type:
- Article
14
INEFFABILITY AND REVENGE.
- Published in:
- Review of Symbolic Logic, 2020, v. 13, n. 4, p. 797, doi. 10.1017/S1755020318000473
- By:
- Publication type:
- Article