Works matching IS 00393215 AND DT 1998 AND VI 61 AND IP 2
Results: 7
Book Reviews.
- Published in:
- 1998
- Publication type:
- Book Review
A Very Strong Set Theory?
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 171, doi. 10.1023/A:1005048329677
- By:
- Publication type:
- Article
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 281, doi. 10.1023/A:1005029515564
- By:
- Publication type:
- Article
Curry-Howard Terms for Linear Logic.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 223, doi. 10.1023/A:1005025414656
- By:
- Publication type:
- Article
On Proof Terms and Embeddings of Classical Substructural Logics.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 199, doi. 10.1023/A:1005073330585
- By:
- Publication type:
- Article
Axiomatizations with Context Rules of Inference in Modal Logic.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 179, doi. 10.1023/A:1005021313747
- By:
- Publication type:
- Article
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.
- Published in:
- Studia Logica, 1998, v. 61, n. 2, p. 237, doi. 10.1023/A:1005077431494
- By:
- Publication type:
- Article