Journals in DBLP

Studia Logica
2000, volume: 64, number: 1

1. Heinrich Wansing
   The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:3-20 [Journal]
   
2. Anatolij Dvurecenskij
   On Categorical Equivalences of Commutative BCK-algebras. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:21-36 [Journal]
   
3. Vladimir Kanovei, Michael Reeken
   Extending Standard Models of ZFC to Models of Nonstandard Set Theories. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:37-59 [Journal]
   
4. Adriana Galli, Marta Sagastume, Gonzalo E. Reyes
   Completeness Theorems via the Double Dual Functor. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:61-81 [Journal]
   
5. Hernando Gaitán
   Priestley Duality for Quasi-Stone Algebras. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:83-92 [Journal]
   
6. Viorica Sofronie-Stokkermans
   Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2000, v:64, n:1, pp:93-132 [Journal]