Journals in DBLP

Studia Logica
1994, volume: 53, number: 3

1. Max A. Freund
   The relative consistency of system RRC^* and some of its extensions. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:351-360 [Journal]
   
2. Katarzyna Palasinska
   Three-element nonfinitely axiomatizable matrices. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:361-372 [Journal]
   
3. Erik Aarts
   Proving theorems of the second order Lambek calculus in polynominal time. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:373-388 [Journal]
   
4. Sergio Galvan
   A note an the omega-incompleteness formalization. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:389-396 [Journal]
   
5. Yuichi Komori
   Syntactical investigations into BI logic and BB'I logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:397-416 [Journal]
   
6. Antonio di Nola, Ada Lettieri
   Perfect MV-algebras are categorically equivalent to Abelian l-grups. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:417-432 [Journal]
   
7. Rajeev Goré
   Cut-free sequent and tableau systems for propositional Diodorean modal logics. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:3, pp:433-458 [Journal]