External Links

    Journal: Math. Log. Q.

    Volume 25, Issue 7-12

    97 -- 98Douglas S. Bridges. A Criterion for Compactness in Metric Spaces?
    99 -- 102André Pétry. On the Typed Properties in Quine's "New Foundations"
    103 -- 110Wolfgang Schade. Indexmengen Rekursiver Reeller Zahlen
    111 -- 118Dietrich Schwartz. Untersuchungen über die Banach-Logik
    119 -- 134Jan Pavelka. On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
    135 -- 162Egon Börger. A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems
    173 -- 178John L. Hickman. Polynomials in a Single Ordinal Variable
    179 -- 192Lutz Priese. Über ein 2-Dimensionales Thue-System mit Zwei Regeln und Unentscheidbarem Wortproblem

    Volume 25, Issue 33

    513 -- 520Williams Kramer Forrest. Some Basic Results in the Theory of ω-Stable Theories
    521 -- 523Douglas S. Bridges. Geometric Intuition and Elementary Constructive Analysis
    525 -- 530Jürg Schmid. Algebraically and Existentially Closed Distributive Lattices
    531 -- 548Peter Telec. Sequenzen und Strukturierte Zeichenreihen
    549 -- 558Wilhelm Kubin. Eine Axiomatisierung der Mehrwertigen Logiken von Gödel
    559 -- 564Martin Wirsing. Small Universal Post Systems
    565 -- 575D. A. Anapolitanos. Automorphisms of Finite Order

    Volume 25, Issue 32

    497 -- 509Hugues Leblanc. Probabilistic Semantics for First-Order Logic
    511 -- 512Michael A. McRobbie, Robert K. Meyer. A Note on the Admissibility of Cut in Relevant Tableau Systems

    Volume 25, Issue 31

    481 -- 484Ford Waghrees Gorgy. 2
    485 -- 486John L. Hickman. Boundedness Properties of Cardinals
    487 -- 496Hirokazu Nishimura. On the Completeness of Chronological Logics with Modal Operators

    Volume 25, Issue 30

    465 -- 473Helmut Vogel. Über ein mit der Bar-Induktion Verwandtes Schema
    475 -- 479H. Luckhardt. A Limit for Higher Recursion Theory

    Volume 25, Issue 3-6

    33 -- 36Friedrich von Hebeisen. Masstheoretische Ergebnisse für WT-Grade
    37 -- 43Jaak Henno. On the Completeness of Associative Idempotent Functions
    45 -- 52Jan Pavelka. On Fuzzy Logic I Many-valued rules of inference
    53 -- 56Dietrich Schwartz. Darstellung der Lewyschen Algebren
    57 -- 60David W. H. Gillam. Intervals of Binary Relations
    61 -- 68John T. Kearns. The Strong Completeness of a System for Kleene's Three-Valued Logic
    69 -- 77Dimiter Skordev. The First Recursion Theorem for Iterative Combinatory Spaces
    79 -- 92John L. Hickman. A Class of 'Near-Finite' Order-Types
    93 -- 96Douglas S. Bridges. On the Constructive Convergence of Series of Independent Functions

    Volume 25, Issue 25-29

    385 -- 401Iraj Kalantari. Automorphisms of the Lattice of Recursively Enumerable Vector Spaces
    403 -- 405John W. Rosenthal. Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II
    407 -- 408Richard Gostanian, Karel Hrbacek. A New Proof that π
    409 -- 410Robert E. Kirk. Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
    411 -- 418Keith Harrow. Equivalence of some Hierarchies of Primitive Recursive Functions
    419 -- 422David Harel. Characterizing Second Order Logic with First Order Quantifiers
    423 -- 444Jean Guillaume Hagendorf. Extensions Respectueuses de Chaines
    445 -- 446Sally Barton. m-Valued Propositional Calculus
    447 -- 464Jan Pavelka. On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi

    Volume 25, Issue 19-24

    289 -- 291Roy A. Benton. A Descending Chain of Classical Logics for Which Necessitation Implies Regularity
    293 -- 298Roy O. Davies. n-Valued Sheffer Functions
    315 -- 344Maurice Pouzet. Relation Minimale Pour Son Ǎge
    345 -- 358Heinrich Herre, Helmut Wolter. Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor
    359 -- 362John W. Rosenthal. 1-Categorical Theories with the Nontrivial Strong Elementary Intersection Property
    363 -- 372Allen Retzlaff. Direct Summands of Recursively Enumerable Vector Spaces
    373 -- 374John L. Hickman. On a Remark by Sageev
    375 -- 378Rod McBeth. A Note on Hardy's Persistent Numbers
    379 -- 383Ulf Friedrichsdorf. Zur Mengenlehre Über Klassen

    Volume 25, Issue 13-18

    193 -- 208Robert F. Barnes, Raymond D. Gumb. The Completeness of Presupposition-Free Tense Logic
    209 -- 212Freidrich von Hebeisen. Über Halbordnungen von WT-Graden in e-Graden
    213 -- 217Albert Hoogewijs. On a Formalization of the Non-Definedness Notion
    219 -- 226Jan A. Bergstra. Effective Transformations on Probabilistic Data
    227 -- 234Louise Hay, Nancy Johnson. Extensional Characterization of Index Sets
    235 -- 249David W. Straight. f-Sets
    251 -- 264Dag Normann. A Jump Operator in Set Recursion
    265 -- 280C. Alkor. Forcing in Ackermanns Mengenlehre
    281 -- 288George F. Schumm, Roy Edelstein. Negation-Free Modal Logics

    Volume 25, Issue 1-2

    1 -- 4Daniel Leivant. Assumption Classes in Natural Deduction
    5 -- 27E. A. Sonenberg. Non-Standard Models of Ordinal Arithmetics
    29 -- 31Gerd Mitschke. The Standardization Theorem for λ-Calculus
    runs on