Journals in DBLP

Ann. Pure Appl. Logic
2009, volume: 161, number: 2

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Note on witnessed Gödel logics with Delta. [Citation Graph (, )][DBLP]
   
   
3. 
   Interpretability in PRA. [Citation Graph (, )][DBLP]
   
   
4. 
   Logical structures and genus of proofs. [Citation Graph (, )][DBLP]
   
   
5. 
   Commutative integral bounded residuated lattices with an added involution. [Citation Graph (, )][DBLP]
   
   
6. 
   State-morphism MV-algebras. [Citation Graph (, )][DBLP]
   
   
7. 
   Around provability logic. [Citation Graph (, )][DBLP]
   
   
8. 
   First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. [Citation Graph (, )][DBLP]
   
   
9. 
   Ordinal decompositions for preordered root systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Arithmetical complexity of fuzzy predicate logics - A survey II. [Citation Graph (, )][DBLP]
    
    
11. 
    On the reflection invariance of residuated chains. [Citation Graph (, )][DBLP]
    
    
12. 
    Generalizations of Boolean products for lattice-ordered algebras. [Citation Graph (, )][DBLP]
    
    
13. 
    Interpretation of De Finetti coherence criterion in Lukasiewicz Logic. [Citation Graph (, )][DBLP]
    
    
14. 
    Glivenko theorems revisited. [Citation Graph (, )][DBLP]