Journals in DBLP

Studia Logica
2003, volume: 73, number: 1

1. Silvio Ghilardi, Daniele Mundici
   Foreword. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:3- [Journal]
   
2. Mario Ornaghi
   Preface. In Memoriam Pierangelo Miglioli (1946-1999). [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:5-19 [Journal]
   
3. Mauro Ferrari, Camillo Fiorentini
   A Proof-theoretical Analysis of Semiconstructive Intermediate Theories. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:21-49 [Journal]
   
4. Matt Fairtlough, Michael Mendler
   Intensional Completeness in an Extension of Gödel/Dummett Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:51-80 [Journal]
   
5. Nicola Olivetti
   Tableaux for Lukasiewicz Infinite-valued Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:81-111 [Journal]
   
6. Nobu-Yuki Suzuki
   Halldén-Completeness in Super-Intuitionistic Predicate Logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:113-130 [Journal]
   
7. Uwe Egly, Hans Tompits
   On Different Proof-Search Strategies for Orthologic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:131-152 [Journal]
   
8. Jan von Plato
   Skolem's Discovery of Gödel-Dummett Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2003, v:73, n:1, pp:153-157 [Journal]