Journals in DBLP

Arch. Math. Log.
2007, volume: 46, number: 5-6

1. Petr Cintula, George Metcalfe
   Normal forms for fuzzy logics: a proof-theoretic approach. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:347-363 [Journal]
   
2. Michael C. Laskowski, Shirin Malekpour
   Provability in predicate product logic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:365-378 [Journal]
   
3. Thomas G. McLaughlin
   Delta₁ Ultrapowers are totally rigid. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:379-384 [Journal]
   
4. Pierluigi Minari
   Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:385-424 [Journal]
   
5. Dov M. Gabbay, George Metcalfe
   Fuzzy logics based on [0, 1)-continuous uninorms. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:425-449 [Journal]
   
6. Moti Gitik, Itay Neeman, Dima Sinapova
   A cardinal preserving extension making the set of points of countable V cofinality nonstationary. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:451-456 [Journal]
   
7. Assaf Rinot
   Antichains in partially ordered sets of singular cofinality. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:457-464 [Journal]
   
8. Nobuyuki Sakamoto, Keita Yokoyama
   The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:465-480 [Journal]
   
9. Vincent Astier
   On some sheaves of special groups. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:481-488 [Journal]
   
10. Satoru Kuroda
    Generalized quantifier and a bounded arithmetic theory for LOGCFL. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:5-6, pp:489-516 [Journal]
    
11. Predrag Tanovic
    Theories with constants and three countable models. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:5-6, pp:517-527 [Journal]