Year:

  1.  14
    Ordinal Numbers in Arithmetic Progression.Frederick Bagemihl & F. Bagemihl - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):525-528.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  16
    Algebraic Closure Without Choice.Bernhard Banaschewski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):383-385.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  16
    On the Inadequacy of the Relational Semantic for the “Until” Operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  15
    Reducibility in Some Categories of Partial Recursive Operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  15
    On Some Interpretations of Classical Logic.Branislav R. Boričić & B. R. Boričić - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  14
    Russell's Alternative to the Axiom of Choice.Norbert Brunner & Paul Howard - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):529-534.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  16
    Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  16
    Recursive Baire Classification and Speedable Functions.Cristian Calude, Gabriel Istrate & Marius Zimand - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):169-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  16
    Levels of Implication and Type Free Theories of Classifications with Approximation Operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  10.  14
    Representation of Posets.Yungchen Cheng & Paula Kemp - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):269-276.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  13
    On the Transitive Hull of a Κ-Narrow Relation.Karl-Heinz Diener & K. -H. Diener - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):387-398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  16
    A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  15
    Provability Logic in the Gentzen Formulation of Arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  14
    La Reconstruction Des Tournois Sans Diamant.Cyprien Gnanvo & Pierre Ille - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):283-291.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  14
    A Class of Models for Skala's Set Theory.Antonio Greco - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):277-282.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  15
    Bounds in the Turing Reducibility of Functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  14
    Restriction Respectueuse Et Reconstruction Des Chaines Et Des Relations Infinites.Jean Guillaume Hagendorf & J. G. Hagendorf - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):457-490.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  14
    Finite Replacement and Finite Hilbert-Style Axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  14
    On Non-Determined Ehrenfeucht-Fraïssé Games and Unstable Theories.Tapani Hyttinen & T. Hyttinen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):399-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  15
    Flagg and Friedman's Translation is Not Faithful.Takao Inoué & T. Inoué - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):551-554.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  17
    An Elementary System as and its Semi-Completeness and Decidability.Qin Jun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):305-320.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  14
    Topos Based Semantic for Constructive Logic with Strong Negation.Barbara Klunder & B. Klunder - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  14
    Topological Framework for Finite Injury.Kyriakos Kontostathis - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):189-195.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  16
    Game Approximations of Satisfaction Classes Models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  15
    A Formalism for Some Class of Forcing Notions.Piotr Koszmider & P. Koszmider - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):413-421.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  15
    The Ambiguous Type Theory is Hereditarily Undecidable.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):299-300.
  27.  16
    Elimination of Quantifiers Over Vectors in Some Theories of Vector Spaces.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):575-577.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  16
    Reconstruction of Binary Relations From Their Restrictions of Cardinality 2, 3, 4 and II.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):157-168.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  15
    Reconstruction of Binary Relations From Their Restrictions of Cardinality 2, 3, 4 and I.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):27-37.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  14
    Some Ramsey Theory in Boolean Algebra for Complexity Classes.Gregory L. McColm - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):293-298.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  15
    On the Iterated Ω-Rule.Grzegorz Michalski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):203-208.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  14
    Iterations of Satisfaction Classes and Models of Peano Arithmetic.Roman Murawski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):59-84.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  14
    Universal Functions in Partial Structures.Maurizio Negri - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):253-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  15
    Ternary Operations as Primitive Notions for Plane Geometry II.Victor Pambuccian - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):345-348.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  15
    The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation.Franco Parlamento & Alberto Policriti - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):143-156.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  14
    The Preservation of Submodel Relation by Taking Primitive Models.Paweł Pazdyka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):3-19.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  14
    A Notation System for Ordinal Using Ψ-Functions on Inaccessible Mahlo Numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):431-456.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  13
    An Interpretation of Martin-Löf's Constructive Theory of Types in Elementary Topos Theory.Anne Preller - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):213-240.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  15
    Partially Ordered Connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.
  40.  15
    Two Topological Equivalents of the Axiom of Choice.Eric Schechter & E. Schechter - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):555-557.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  15
    Boolean Algebras in Ast.Klaus Schumacher - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):373-382.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  15
    Anew Relation-Combining Theorem and its Application.Zhi-Wei Sun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):209-212.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  16
    A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  15
    On Definability of Normal Subgroups of a Superstable Group.Akito Tsuboi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):101-106.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  16
    On the Incompleteness of a Descending Chain of Extensions of Implicational S5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  16
    The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.Silvio Valentini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):39-58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  18
    Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
  48.  17
    A Direct Proof of a Result of Shelah.Martin Weese - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):325-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  18
    The Fundamental Theorem of Ultraproduct in Pavelka's Logic.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):197-201.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  15
    Compactness, the Löwenheim-Skolem Property and the Direct Product of Lattices of Truth Values.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):521-524.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  51.  16
    Interdefinability of Lambekian Functors.Wojciech Zielonka & W. Zielonka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):501-507.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  52.  17
    Analytic Completeness Theorem for Absolutely Continuous Biprobability Models.Radosav S. Đorđević - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):241-246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues