Works matching IS 00223611 AND DT 2000 AND VI 29 AND IP 4
Results: 4
GLEASON'S THEOREM HAS A CONSTRUCTIVE PROOF.
- Published in:
- Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 425, doi. 10.1023/A:1004791723301
- By:
- Publication type:
- Article
FIVE OBSERVATIONS CONCERNING THE INTENDED MEANING OF THE INTUITIONISTIC LOGICAL CONSTANTS.
- Published in:
- Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 409, doi. 10.1023/A:1004881914911
- By:
- Publication type:
- Article
INPUT/OUTPUT LOGICS.
- Published in:
- Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 383, doi. 10.1023/A:1004748624537
- By:
- Publication type:
- Article
THE REVIVAL OF REJECTIVE NEGATION.
- Published in:
- Journal of Philosophical Logic, 2000, v. 29, n. 4, p. 331, doi. 10.1023/A:1004747920321
- By:
- Publication type:
- Article