External Links

    Journal: Math. Log. Q.

    Volume 36, Issue 6

    481 -- 491Kazuyuki Tanaka. Weak axioms of determinacy and subsystems of analysis I: δ
    493 -- 515A. Clivio. n] with applications to tiling problems
    517 -- 518George F. Schumm. The number of {□, →}-logics
    519 -- 534Roland Hinnion. Stratified and positive comprehension seen as superclass rules over ordinary set theory
    535 -- 540Josep Maria Font, Gonzalo Rodríguez. Note on algebraic models for relevance logic
    541 -- 560Andrzej Orlicki. On some categories of partial enumerated sets
    561 -- 572August Plattner. F
    573 -- 0Michel Hébert. Corrections to "preservation and interpolation through binary relations between theories"

    Volume 36, Issue 5

    377 -- 380Adam Krawczyk, Marian Srebrny. Measurability and the baire property at higher levels
    381 -- 383George Weaver, Michael Thau, Hugues Leblanc. Extending ω-consistent sets to maximally consistent, ω-complete sets
    385 -- 388Thomas Forster. Permutations and stratified formulae a preservation theorem
    389 -- 414Ruy J. G. B. de Queiroz, T. S. E. Maibaum. Proof theory and computer programming
    415 -- 421Andrzej Zbrzezny. The hilbert type axiomatization of some three-valued propositional logic
    423 -- 430Teodor Stepien. Minimal systems
    431 -- 440Wojcech Sachwanowicz. Boolean powers over incomplete boolean algebras
    441 -- 454Henryk Kotlarski, Zygmunt Ratajczyk. More on induction in the language with a satisfaction class
    455 -- 470Rüdiger Schätz. Formalizing falsification: Three delete operations
    471 -- 479Hirokazu Nishimura. *-algebras

    Volume 36, Issue 4

    281 -- 284Carlos G. González. The union axiom in zermelo set theory
    285 -- 292Michael A. Ingrassia, Steffen Lempp. Jumps of nontrivial splittings of recursively enumerable sets
    293 -- 296Carlos A. Di Prisco, M. Fuller, James M. Henle. The normal depth of filters on an infinite cardinal
    297 -- 318V. Michele Abrusci. Non-commutative intuitionistic linear logic
    319 -- 329Maurizio Negri. Fixed points and diagonal method
    331 -- 338Dumitru Busneag. ƒ-Multipliers and the localization of hilbert algebras
    339 -- 355Michael Deutsch. 3∃(∞, 1)
    357 -- 364Noriya Kadota, Kiwamu Aoyama. Some extensions of built-upness on systems of fundamental sequences
    365 -- 366Nobu-Yuki Suzuki. An extension of ono's completeness result
    367 -- 376Pascal Ostermann. Many-valued modal logics: Uses and predicate calculus

    Volume 36, Issue 3

    185 -- 192Martin K. Solomon. Relativized Gödel speed-up and the degree of succinctness of representations
    193 -- 215Silvio Ghilardi, Giancarlo Meloni. n-ary connectives
    217 -- 227Pierre Ille. Cloture intervallaire et extension logique d'une relation
    229 -- 232Wojciech Sachwanowicz. A note on complete partitions in boolean algebras
    233 -- 236Dev Kumar Roy. Effective extensions of partial orders
    237 -- 240Hajime Ishihara. An omniscience principle, the König Lemma and the Hahn-Banach theorem
    241 -- 246Hirokazu Nishimura. On the absoluteness of types in boolean valued lattices
    247 -- 251A. K. Khalifa. A constructive version of Sperner's lemma and Brouwer's fixed point theorem
    253 -- 261Tryggvi Edwald. The t-variable method in gentzen-style automatic theorem proving
    263 -- 271Angel V. Ditchev. Some results on bounded truth-table degrees
    273 -- 280Zvonimir Sikic. Premiss tree proofs and logic of contradiction

    Volume 36, Issue 2

    89 -- 94Leopoldo E. Bertossi. t and topological products
    95 -- 106Igor Urbas. 1 of Arruda and Da Costa
    107 -- 122Helmut Pfeiffer. A theorem on labelled trees and the limits of its provability
    123 -- 131Mai Gehrke, Matt Insall, Klaus Kaiser. Some nonstandard methods applied to distributive lattices
    133 -- 141Akihiro Kanamori, Tamara Awerbuch-Friedlander. The compleat 0†
    143 -- 147Cristian Calude, Lila Santean. On a theorem of Günter Asser
    149 -- 161Andrzej Orlicki. Some remarks on ω-powers of enumerated sets and their applications to ω-operations
    163 -- 184Michael Deutsch. 2∀(∞, 1)

    Volume 36, Issue 1

    3 -- 9Kazem Taghva. Model completeness and direct power
    11 -- 15V. Michele Abrusci. A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
    17 -- 21L. M. Doorman. A note on the existence property for intuitionistic logic with function symbols
    23 -- 27Wieslaw Szwast. On the generator problem
    29 -- 46Jan Krajícek, Pavel Pudlák. Quantified propositional calculi and fragments of bounded arithmetic
    47 -- 66Alessandra Carbone, Franco Montagna. Much shorter proofs: A bimodal investigation
    67 -- 77Giangiacomo Gerla, Roberto Tortora. Fuzzy natural deduction
    79 -- 86Michal Krynicki. Quantifiers determined by partial orderings
    87 -- 88Daniel Abraham Romano. A theorem on cocongruence of rings
    runs on