Journals in DBLP
Math. Log. Q. 2006, volume: 52, number: 3
Manuela Busaniche Free nilpotent minimum algebras. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2006, v:52, n:3, pp:219-236 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]