Journals in DBLP

Math. Log. Q.
2006, volume: 52, number: 3

1. Manuela Busaniche
   Free nilpotent minimum algebras. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:219-236 [Journal]
   
2. David Steiner, Thomas Strahm
   On the proof theory of type two functionals based on primitive recursive operations. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:237-252 [Journal]
   
3. Michael Rathjen
   A note on Bar Induction in Constructive Set Theory. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:253-258 [Journal]
   
4. Petra Murinová, Vilém Novák
   Omitting types in fuzzy logic with evaluated syntax. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:259-268 [Journal]
   
5. Petr Cintula, Erich-Peter Klement, Radko Mesiar, Mirko Navara
   Residuated logics based on strict triangular norms with an involutive negation. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:269-282 [Journal]
   
6. Bernhard König
   Dense subtrees in complete Boolean algebras. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:283-287 [Journal]
   
7. George Voutsadakis
   Categorical abstract algebraic logic: The largest theory system included in a theory family. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:288-294 [Journal]
   
8. Sato Kentaro
   Forcing under Anti-Foundation Axiom: An expression of the stalks. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:295-314 [Journal]
   
9. Fernando Ferreira, Gilda Ferreira
   Counting as integration in feasible analysis. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:3, pp:315-320 [Journal]