External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 9-12

    131 -- 162Hans-Joachim Goltz. The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
    163 -- 168Helmut Wolter. On the "Problem of the Last Root" for Exponential Terms
    169 -- 171John L. Hickman. n-Place Strictly Monotonic Functions
    173 -- 178C. A. R. Hoare. A Couple of Novelties in the Propositional Calculus
    179 -- 192Martin Kühnrich. Untersuchungen zur Algebraischen Theorie der Partiellen Mengen

    Volume 31, Issue 7-8

    97 -- 108Galen Weitkamp. On the Existence and Recursion Theoretic Properties of ∑
    109 -- 115Hilbert Levitz. Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
    117 -- 122Peter H. Slessenger. 0
    123 -- 129Giangiacomo Gerla. Pavelka's Fuzzy Logic and Free L-Subsemigroups

    Volume 31, Issue 35-36

    545 -- 549Herman Ruge Jervell. Large Finite Sets
    551 -- 556István Szalkai. On the Algebraic Structure of Primitive Recursive Functions
    557 -- 568Helmut Pfeiffer. Some System of Predicate Tense Logic
    569 -- 573Horst Struve, Rolf Struve. Eine Synthetische Charakterisierung der Cayley-Kleinschen Geometrien

    Volume 31, Issue 31-34

    481 -- 486Eugene W. Madison. On Boolean Algebras and their Recursive Completions
    487 -- 494John Hickman. Multiply Transitive Sets
    495 -- 501Dev Kumar Roy. Linear Order Types of Nonrecursive Presentability
    503 -- 508Akira Kanda. Acceptable Numerations of Function Spaces
    509 -- 515Mohamed A. Amer. Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models
    517 -- 532Paolo Lipparini. Duality for Compact Logics and Substitution in Abstract Model Theory
    533 -- 536Marco Forti, Furio Honsell. A Model where Cardinal Ordering is Universal
    537 -- 544Zvonimir Sikic. Continuing Variations on a System of Gentzen

    Volume 31, Issue 29-30

    449 -- 460Jan Krajícek. Some Theorems on the Lattice of Local Interpretability Types
    461 -- 477Klaus Ambos-Spies. Anti-Mitotic Recursively Enumerable Sets
    479 -- 480Frederick Bagemihl. A Decomposition of an Infinite Dimensional Space

    Volume 31, Issue 25-28

    385 -- 392Hanamantagouda P. Sankappanavar. Distributive Lattices with a Dual Endomorphism
    393 -- 401Donna M. Carr. xδ-Generalizations of Weak Compactness
    403 -- 422John Jones. Formalisations of Many-Valued Propositional Calculi with Variable Functors
    423 -- 430Aleksandar Kron. A Constructive Proof of a Theorem in Relevance Logic
    431 -- 439Herman Ruge Jervell. Gentzen Games
    441 -- 448Norbert Brunner. Products of Compact Spaces in the Least Permutation Model

    Volume 31, Issue 24

    369 -- 384Wojcßch Buszkowski. The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars

    Volume 31, Issue 21-23

    321 -- 332Andrea Cantini. On Weak Theories of Sets and Classes which are Based on Strict ∏
    333 -- 344Teodor Stepien. On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
    345 -- 349Jörg Flum, Juan Carlos Martínez. χ-Local Operations for Topological Structures
    351 -- 355Evangelos Kranakis. Definable Partitions and the Projectum
    357 -- 362Jürgen Hauck. x, y)
    363 -- 368Karanbir S. Sarkaria. Formal Theories are Acyclic

    Volume 31, Issue 19-20

    289 -- 294Anita Wasilewska. Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
    295 -- 298Herman Ruge Jervell. Recursion on Homogeneous Trees
    299 -- 308René Lavendhomme, Thierry Lucas. A Non-Boolean Version of Feferman-Vaught's Theorem
    309 -- 316Pavel Pudlák, Antonín Sochor. Elementary Extensions of Models of the Alternative Set Theory
    317 -- 320Zbigniew Stachniak. Note on Structural Logics

    Volume 31, Issue 14-18

    209 -- 220Akira Kanda. Numeration Models of λ-Calculus
    221 -- 225Costas Dimitracopoulos. A Generalization of a Theorem of H. Friedman
    227 -- 234Anne Preller. A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
    235 -- 241Kosta Dosen. A Completeness Theorem for the Lambek Calculus of Syntactic Categories
    243 -- 247Branislav R. Boricic. On Some Subsystems of Dummett's LC
    249 -- 261Volker Weispfenning. Quantifier Elimination for Distributive Lattices and Measure Algebras
    275 -- 278Ventura Verdú. Some Algebraic Structures Determined by Closure Operators
    279 -- 280Gisela Schäfer. A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions
    281 -- 287Gerd Wechsung. On Sparse Complete Sets

    Volume 31, Issue 13

    193 -- 200Rodney G. Downey, Iraj Kalantari. Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
    201 -- 208Dolph Ulrich. A Descending Chain of Incomplete Extensions of Implicational S 5

    Volume 31, Issue 1-6

    3 -- 29Wolfgang Friedrich. Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
    31 -- 33John Jones. Simplified Axiom Schemes for Implication and Iterated Implication
    35 -- 38Ermanno Bencivenga. Strong Completeness of a Pure Free Logic
    39 -- 56Heinz Kaphengst. Zum Aufbau Einer Mehrsortigen Elementaren Logik
    57 -- 61Fabio Bellissima. S4
    63 -- 70Wojciech Buszkowski. Concerning the Axioms of Ackermann's Set Theory
    71 -- 77Kevin P. Balanda. Almost Disjoint Families of Representing Sets
    79 -- 88George Georgescu, Iana Voiculescu. Eastern Model-Theory for Boolean-Valued Theories
    89 -- 95Stephen D. Comer. The Elementary Theory of Interval Real Numbers
    runs on