External Links

    Journal: Math. Log. Q.

    Volume 27, Issue 8-10

    113 -- 117Michael Deutsch. Zur Reduktionstheorie des Entscheidungsproblems
    119 -- 126Nicolas D. Goodman. The Logic of Contradiction
    127 -- 130Klaus Kaiser. Lattices Acting on Universal Classes
    131 -- 140Erhard Quaisser. Zum Aufbau Affiner Ebenen aus dem Spiegelungsbegriff
    141 -- 150Choukri-Bey Ben-Yelles. F-Stratification
    151 -- 160Daniel Vanderveken. A Strong Completeness Theorem for Pragmatics

    Volume 27, Issue 7

    97 -- 110C. K. R. T. Jones, P. J. Kelemen. The ϱ-Calculus
    111 -- 112David Makinson. Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic

    Volume 27, Issue 36

    561 -- 564Branislav Martic. Iterative Systems and Diagram Algorithms
    565 -- 568Arnold Oberschelp, Günter Todt. Klassentheoretische Paare
    569 -- 576Martin Weese. Decidability with Respect to Härtig Quantifier and Rescher Quantifier

    Volume 27, Issue 31-35

    481 -- 488Sauro Tulipani. Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
    489 -- 494F. W. Gorgy, A. H. Sahyoun. Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic
    495 -- 529Robert Ian Goldblatt. Grothendieck Topology as Geometric Modality
    531 -- 538Luiz Paulo de Alcantara, Walter Alexandre Carnielli. Transfinite Induction on Ordinal Configurations
    539 -- 548Steven Homer, Barry E. Jacobs. Degrees of Non α-Speedable Sets
    549 -- 555John R. Cowles. The Henkin Quantifier and Real Closed Fields
    557 -- 560Stephen D. Comer. The Decision Problem for Certain Nilpotent Closed Varieties

    Volume 27, Issue 25-30

    385 -- 389E. G. K. López-Escobar. Variations on A System Of Gentzen
    391 -- 402John Staples. Efficient Combinatory Reduction
    403 -- 410James P. Jones. Classification of Quantifier Prefixes Over Diophantine Equations
    411 -- 418Anand Pillay. 0-Categorical Theories
    419 -- 434Lutz Heindorf. Comparing The Expressive Power of Some Languages for Boolean Algebras
    435 -- 452Martin Stein. A General Theorem on Existence Theorems
    453 -- 462Joanna Jedrzejowicz. Undecidable Problems Associated with Combinatiorial Systems and Their One-One Degrees of Unsolvability
    463 -- 472B. Klotzek, R. Stamm. Metrisch-Euklidische RäUme beliebiger Dimension im Aufbau der Geometrie aus dem Spiegelungsbegriff
    473 -- 480Jürgen Hauck. Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis

    Volume 27, Issue 23-24

    353 -- 362D. A. Anapolitanos. Cyclic Indiscernibles and Skolem Functions
    363 -- 370Ioana Petrescu. Existential Morphisms and Existentially Closed Models of Logical Categories
    371 -- 374W. Richard Stark. A Logic of Knowledge
    375 -- 379J. M. Plotkin. ZF and Locally Finite Groups
    381 -- 383Robert E. Kirk. A Complete Semantics for Implicational Logics

    Volume 27, Issue 22

    337 -- 344Hartmut Höft. Antisymmetry and Lexicographic Product Relations
    345 -- 352Dietrich Schwartz. Algebraic Analysis of The Term Logic with Choice Operator

    Volume 27, Issue 2-6

    17 -- 22D. A. Anapolitanos, Jouko A. Väänänen. Decidability of Some Logics with Free Quantifier Variables
    23 -- 30Bruce I. Rose, Robert E. Woodrow. Ultrahomogeneous Structures
    31 -- 44Bruno Poizat. ThéOrie de Galois pour les ALGèBres de Post Infinitaires
    45 -- 58Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. Functional Characters of Solvable Terms
    59 -- 71Mario Rodríguez-Artalejo. Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen
    73 -- 94Heinrich Herre, Helmut Wolter. Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren
    95 -- 96Philipp Rothmaler. I-Types

    Volume 27, Issue 19-21

    289 -- 332Maurice Pouzet. Application de la Notion de Relation Presque-Enchainable au Denombrement des Restrictions Finies D'une Relation
    333 -- 336Frederick Bagemihl. Representation of Ordinal Numbers and Derived Sets in Certain Continuous Sets

    Volume 27, Issue 18

    273 -- 288Michael von Deutsch. Registermaschinen üBER Quotiententermmengen

    Volume 27, Issue 16-17

    241 -- 247Ermanno Bencivenga. Semantic Tableaux for A Logic With Identity
    249 -- 254Andreas Baudisch. L(aa) Where aa is not in The Scope of "¬"
    255 -- 264Kurt Hauschild. Zum Vergleich von HäRtigquantor und Rescherquantor
    265 -- 272Klaus Denecke. Die endlichen, Subdirekt Irreduziblen Elemente der VarietäT der BeschräNkten kommutativen BCK-Algebren

    Volume 27, Issue 15

    225 -- 231Antonio Mario Sette. Fraïssé and Robinson'S Forcing
    233 -- 240Hirokazu Nishimura. The Semantical Characterization of de Dicto in Continuous Modal Model Theory

    Volume 27, Issue 13-14

    193 -- 196Eugene M. Kleinberg. An Absoluteness Theorem
    197 -- 200George F. Schumm. Bounded Properties in Modal Logic
    201 -- 212Dolph Ulrich. Strict Implication in A Sequence of Extensions of S4
    213 -- 214Rod McBeth. A Note on Exponential Polynomials and Prime Factors
    215 -- 224Wojciech Zielonka. Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes

    Volume 27, Issue 11-12

    161 -- 180Barbara Lowesmith. Three-Valued Commutative Pseudo-Sheffer Functions
    181 -- 188Daniele Mundici. Applications of Many-Sorted Robinson Consistency Theorem
    189 -- 192Michael von Rimscha. Das Kollektionsaxiom

    Volume 27, Issue 1

    1 -- 9Erik Ellentuck. Galois Theorems for Isolated Fields
    11 -- 16Jacques Grassin. 1-Good Inductive Definitions Over The Continuum
    runs on