- Carl G. Jockusch Jr.:
Fine Degrees of Word Problems of Cancellation Semigroups. Math. Log. Q. 26(1-6): 93-95 (1980) - Klaus Kaiser:
On A Lattice of Relational Reducts. Math. Log. Q. 26(25-27): 429-432 (1980) - Robert E. Kirk:
A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic. Math. Log. Q. 26(32-33): 497-501 (1980) - Benno Klotzek, Rudolf Ottenberg:
Pseudoeuklidische Räume im Aufbau der Geometrie aus dem Spiegelungsbegriff. Math. Log. Q. 26(10-12): 145-164 (1980) - Henryk Kotlarski:
On Skolem Ultrapowers and Their Non-Standard Variant. Math. Log. Q. 26(14-18): 227-236 (1980) - Martin Kühnrich:
The Boolean Algebra of Predicates. Math. Log. Q. 26(22-24): 355-360 (1980) - Martin Kühnrich, Konrad Schultz:
A Hierarchy of Models for Skala's Set Theory. Math. Log. Q. 26(34-35): 555-559 (1980) - Wolfgang Lenzen:
Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4. Math. Log. Q. 26(7-9): 131-143 (1980) - Kenneth L. Manders:
Theories With the Existential Substructure Property. Math. Log. Q. 26(1-6): 89-92 (1980) - Rod McBeth:
Fundamental Sequences for Exponential Polynomials. Math. Log. Q. 26(7-9): 115-122 (1980) - Rod McBeth:
Exponential Polynomials of Linear Height. Math. Log. Q. 26(25-27): 399-404 (1980) - Rod McBeth:
A Generalization of Ackermann's Function. Math. Log. Q. 26(32-33): 509-516 (1980) - Terry A. McKee:
Monadic Characterizations in Nonstandard Topology. Math. Log. Q. 26(25-27): 395-397 (1980) - Ruth L. Mikkelson:
Totally and Partially Ambiguous Points of Planar Functions. Math. Log. Q. 26(25-27): 405-428 (1980) - Roman Murawski:
Some Remarks on the Structure of Expansions. Math. Log. Q. 26(34-35): 537-546 (1980) - Mark E. Nadel:
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic. Math. Log. Q. 26(7-9): 103-109 (1980) - Hirokazu Nishimura:
A Preservation Theorem for Tense Logic. Math. Log. Q. 26(19-21): 331-335 (1980) - Hirokazu Nishimura:
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies. Math. Log. Q. 26(31): 481-490 (1980) - Jeffrey B. Remmel, Alfred B. Manaster:
CO-Simple Higher-Order Indecomposable Isols. Math. Log. Q. 26(14-18): 279-288 (1980) - Giovanni Sambin, Silvio Valentini:
Post Completeness and Free Algebras. Math. Log. Q. 26(22-24): 343-347 (1980) - Britta Schinzel:
Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung. Math. Log. Q. 26(14-18): 215-226 (1980) - Konrad Schultz:
A Topological Model for Troelstra's System CS of Intuitionistic Analysis. Math. Log. Q. 26(22-24): 349-354 (1980) - Dietrich Schwartz:
Cylindric Algebras with Filter Quantifiers. Math. Log. Q. 26(14-18): 251-254 (1980) - Dietrich Schwartz:
Polyadic MV-Algebras. Math. Log. Q. 26(36): 561-564 (1980) - Ahmad Shafaat:
Consistency in Categorical Languages for Algebras. Math. Log. Q. 26(13): 205-207 (1980) - L. W. Szczerba:
Interpretations With Parameters. Math. Log. Q. 26(1-6): 35-39 (1980) - Hans-Peter Tuschik:
An Application of Rank-Forcing to ω1-Categoricity. Math. Log. Q. 26(14-18): 237-250 (1980) - Jouko Väänänen:
A Quantifier for Isomorphisms. Math. Log. Q. 26(7-9): 123-130 (1980) - Anita Wasilewska:
On the Gentzen Type Formalizations. Math. Log. Q. 26(28-30): 439-444 (1980) - George Weaver:
A Note on the Compactness Theorem in First Order Logic. Math. Log. Q. 26(7-9): 111-113 (1980)