RSL volume 16 issue 2 Cover and Back matter.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. b1, doi. 10.1017/S1755020323000084
- Publication type:
- Article
Works matching IS 17550203 AND DT 2023 AND VI 16 AND IP 2
Results: 16
1
2
RSL volume 16 issue 2 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. f1, doi. 10.1017/S1755020323000072
- Publication type:
- Article
3
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 351, doi. 10.1017/S1755020322000235
- By:
- Publication type:
- Article
4
GÖDEL'S THEOREM AND DIRECT SELF-REFERENCE.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 650, doi. 10.1017/S1755020321000526
- By:
- Publication type:
- Article
5
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 509, doi. 10.1017/S1755020321000459
- By:
- Publication type:
- Article
6
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 385, doi. 10.1017/S1755020321000393
- By:
- Publication type:
- Article
7
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 529, doi. 10.1017/S1755020321000356
- By:
- Publication type:
- Article
8
A CORRECTNESS PROOF FOR AL-BARAKĀT'S LOGICAL DIAGRAMS.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 369, doi. 10.1017/S1755020321000332
- By:
- Publication type:
- Article
9
THE POTENTIAL IN FREGE'S THEOREM.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 553, doi. 10.1017/S1755020320000349
- By:
- Publication type:
- Article
10
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 339, doi. 10.1017/S1755020320000301
- By:
- Publication type:
- Article
11
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 624, doi. 10.1017/S1755020321000289
- By:
- Publication type:
- Article
12
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 449, doi. 10.1017/S175502032100006X
- By:
- Publication type:
- Article
13
THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 603, doi. 10.1017/S1755020321000046
- By:
- Publication type:
- Article
14
RIGOUR AND PROOF.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 480, doi. 10.1017/S1755020320000398
- By:
- Publication type:
- Article
15
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 425, doi. 10.1017/S1755020321000137
- By:
- Publication type:
- Article
16
CARNAP'S PROBLEM FOR MODAL LOGIC.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083
- By:
- Publication type:
- Article