Journals in DBLP

Studia Logica
1998, volume: 61, number: 2

1. Andrzej Kisielewicz
   A Very Strong Set Theory? [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:171-178 [Journal]
   
2. Valentin Goranko
   Axiomatizations with Context Rules of Inference in Modal Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:179-197 [Journal]
   
3. Ken-etsu Fujita
   On Proof Terms and Embeddings of Classical Substructural Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:199-221 [Journal]
   
4. Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons
   Curry-Howard Terms for Linear Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:223-235 [Journal]
   
5. Dov M. Gabbay, Nicola Olivetti
   Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:237-280 [Journal]
   
6. Dmitrij P. Skvortsov
   On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1998, v:61, n:2, pp:281-292 [Journal]