default search action
Mathematical Logic Quarterly, Volume 25
Volume 25, Numbers 1-2, 1979
- Daniel Leivant:
Assumption Classes in Natural Deduction. 1-4 - Elizabeth A. Sonenberg:
Non-Standard Models of Ordinal Arithmetics. 5-27 - Gerd Mitschke:
The Standardization Theorem for λ-Calculus. 29-31
Volume 25, Numbers 3-6, 1979
- Friedrich von Hebeisen:
Masstheoretische Ergebnisse für WT-Grade. 33-36 - Jaak Henno:
On the Completeness of Associative Idempotent Functions. 37-43 - Jan Pavelka:
On Fuzzy Logic I Many-valued rules of inference. 45-52 - Dietrich Schwartz:
Darstellung der Lewyschen Algebren. 53-56 - David W. H. Gillam:
Intervals of Binary Relations. 57-60 - John T. Kearns:
The Strong Completeness of a System for Kleene's Three-Valued Logic. 61-68 - Dimiter Skordev
:
The First Recursion Theorem for Iterative Combinatory Spaces. 69-77 - John L. Hickman:
A Class of 'Near-Finite' Order-Types. 79-92 - Douglas S. Bridges:
On the Constructive Convergence of Series of Independent Functions. 93-96
Volume 25, Numbers 7-12, 1979
- Douglas S. Bridges:
A Criterion for Compactness in Metric Spaces? 97-98 - André Pétry:
On the Typed Properties in Quine's "New Foundations". 99-102 - Wolfgang Schade:
Indexmengen Rekursiver Reeller Zahlen. 103-110 - Dietrich Schwartz:
Untersuchungen über die Banach-Logik. 111-118 - Jan Pavelka:
On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi. 119-134 - Egon Börger:
A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems. 135-162 - John L. Hickman:
Polynomials in a Single Ordinal Variable. 173-178 - Lutz Priese:
Über ein 2-Dimensionales Thue-System mit Zwei Regeln und Unentscheidbarem Wortproblem. 179-192
Volume 25, Numbers 13-18, 1979
- Robert F. Barnes, Raymond D. Gumb:
The Completeness of Presupposition-Free Tense Logic. 193-208 - Freidrich von Hebeisen:
Über Halbordnungen von WT-Graden in e-Graden. 209-212 - Albert Hoogewijs:
On a Formalization of the Non-Definedness Notion. 213-217 - Jan A. Bergstra:
Effective Transformations on Probabilistic Data. 219-226 - Louise Hay, Nancy Johnson:
Extensional Characterization of Index Sets. 227-234 - David W. Straight:
Domino f-Sets. 235-249 - Dag Normann:
A Jump Operator in Set Recursion. 251-264 - C. Alkor:
Forcing in Ackermanns Mengenlehre. 265-280 - George F. Schumm, Roy Edelstein:
Negation-Free Modal Logics. 281-288
Volume 25, Numbers 19-24, 1979
- Roy A. Benton:
A Descending Chain of Classical Logics for Which Necessitation Implies Regularity. 289-291 - Roy O. Davies:
On n-Valued Sheffer Functions. 293-298 - Maurice Pouzet:
Relation Minimale Pour Son Ǎge. 315-344 - Heinrich Herre, Helmut Wolter:
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. 345-358 - John W. Rosenthal:
On the Dimension Theory of N1-Categorical Theories with the Nontrivial Strong Elementary Intersection Property. 359-362 - Allen Retzlaff:
Direct Summands of Recursively Enumerable Vector Spaces. 363-372 - John L. Hickman:
On a Remark by Sageev. 373-374 - Rod McBeth:
A Note on Hardy's Persistent Numbers. 375-378 - Ulf Friedrichsdorf:
Zur Mengenlehre Über Klassen. 379-383
Volume 25, Numbers 25-29, 1979
- Iraj Kalantari:
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces. 385-401 - John W. Rosenthal:
Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II. 403-405 - Richard Gostanian, Karel Hrbacek:
A New Proof that π. 407-408 - Robert E. Kirk:
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic. 409-410 - Keith Harrow:
Equivalence of some Hierarchies of Primitive Recursive Functions. 411-418 - David Harel:
Characterizing Second Order Logic with First Order Quantifiers. 419-422 - Jean Guillaume Hagendorf:
Extensions Respectueuses de Chaines. 423-444 - Sally Barton:
The Functional Completeness of Post's m-Valued Propositional Calculus. 445-446 - Jan Pavelka:
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi. 447-464
Volume 25, Number 30, 1979
- Helmut Vogel:
Über ein mit der Bar-Induktion Verwandtes Schema. 465-473 - H. Luckhardt:
A Limit for Higher Recursion Theory. 475-479
Volume 25, Number 31, 1979
- Ford Waghrees Gorgy:
The Independence of the Rule of Syllogism in S2. 481-484 - John L. Hickman:
Boundedness Properties of Cardinals. 485-486 - Hirokazu Nishimura:
On the Completeness of Chronological Logics with Modal Operators. 487-496
Volume 25, Number 32, 1979
- Hugues Leblanc:
Probabilistic Semantics for First-Order Logic. 497-509 - Michael A. McRobbie, Robert K. Meyer:
A Note on the Admissibility of Cut in Relevant Tableau Systems. 511-512
Volume 25, Number 33, 1979
- Williams Kramer Forrest:
Some Basic Results in the Theory of ω-Stable Theories. 513-520 - Douglas S. Bridges:
Geometric Intuition and Elementary Constructive Analysis. 521-523 - Jürg Schmid:
Algebraically and Existentially Closed Distributive Lattices. 525-530 - Peter Telec:
Sequenzen und Strukturierte Zeichenreihen. 531-548 - Wilhelm Kubin:
Eine Axiomatisierung der Mehrwertigen Logiken von Gödel. 549-558 - Martin Wirsing:
Small Universal Post Systems. 559-564 - D. A. Anapolitanos:
Automorphisms of Finite Order. 565-575
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-05 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: