Works matching IS 00393215 AND DT 2000 AND VI 66 AND IP 3
Results: 6
Book Reviews.
- Published in:
- 2000
- Publication type:
- Book Review
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'.
- Published in:
- Studia Logica, 2000, v. 66, n. 3, p. 409, doi. 10.1023/A:1005216827905
- By:
- Publication type:
- Article
An O(n log n)-Space Decision Procedure for the Relevance Logic B+.
- Published in:
- Studia Logica, 2000, v. 66, n. 3, p. 385, doi. 10.1023/A:1005212701420
- By:
- Publication type:
- Article
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.
- Published in:
- Studia Logica, 2000, v. 66, n. 3, p. 349, doi. 10.1023/A:1005260600511
- By:
- Publication type:
- Article
The Adaptive Logic of Compatibility.
- Published in:
- Studia Logica, 2000, v. 66, n. 3, p. 327, doi. 10.1023/A:1005208616441
- By:
- Publication type:
- Article
Contents of Volume 66.
- Published in:
- Studia Logica, 2000, v. 66, n. 3, p. 447, doi. 10.1023/A:1017208706759
- Publication type:
- Article