Works matching IS 00223611 AND DT 2001 AND VI 30 AND IP 2
Results: 3
CONSTRAINTS FOR INPUT/OUTPUT LOGICS.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 2, p. 155, doi. 10.1023/A:1017599526096
- By:
- Publication type:
- Article
THREE-VALUED LOGIC, INDETERMINACY AND QUANTUM MECHANICS.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 2, p. 97, doi. 10.1023/A:1017571731461
- By:
- Publication type:
- Article
A TYPE REDUCTION FROM PROOF-CONDITIONAL TO DYNAMIC SEMANTICS.
- Published in:
- Journal of Philosophical Logic, 2001, v. 30, n. 2, p. 121, doi. 10.1023/A:1017541301458
- By:
- Publication type:
- Article