Works matching IS 17550203 AND DT 2023 AND VI 16 AND IP 2
Results: 16
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
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
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
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
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
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
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
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
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
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
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
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
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
RIGOUR AND PROOF.
- Published in:
- Review of Symbolic Logic, 2023, v. 16, n. 2, p. 480, doi. 10.1017/S1755020320000398
- By:
- Publication type:
- Article
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
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