Works matching IS 17550203 AND DT 2009 AND VI 2 AND IP 4
Results: 8
A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 593, doi. 10.1017/S1755020309990244
- By:
- Publication type:
- Article
MINIMAL TRUTH AND INTERPRETABILITY.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 799, doi. 10.1017/S1755020309990232
- By:
- Publication type:
- Article
REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 786, doi. 10.1017/S1755020309990220
- By:
- Publication type:
- Article
BENACERRAF'S DILEMMA AND INFORMAL MATHEMATICS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 769, doi. 10.1017/S1755020309990153
- By:
- Publication type:
- Article
MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR'S THEORY OF INFINITE NUMBER INEVITABLE?
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 612, doi. 10.1017/S1755020309990128
- By:
- Publication type:
- Article
A FORMAL SYSTEM FOR EUCLID'S ELEMENTS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 700, doi. 10.1017/S1755020309990098
- By:
- Publication type:
- Article
LOGICS FOR THE RELATIONAL SYLLOGISTIC.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 647, doi. 10.1017/S1755020309990086
- By:
- Publication type:
- Article
A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 684, doi. 10.1017/S175502030909025X
- By:
- Publication type:
- Article