External Links

    Journal: Math. Log. Q.

    Volume 52, Issue 3

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