Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 37
Volume 37, Number 1, 1991
- Mai Gehrke:
The Order Structure of Stone Spaces and the TD-Separation Axiom. 5-15
Volume 37, Numbers 2-4, 1991
- Shin'ichi Ykotota:
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II. 17-26 - Cyprien Gnanvo:
Les Tournois (-1)-Chaîne. 27-37 - Esko Turunen:
A Note on Pavelka's Fuzzy Logic. 39-40 - Zvonimir Sikic:
A Proof of the Characterization Theorem for Consequence Relations. 41-43 - Ivan N. Soskov:
Second Order Definability Via enumerations. 45-54 - Arnold Oberschelp:
On Pairs and Tuples. 55-56 - Peter Schreiber:
Generalized Construction Problems. 57-62 - Kazuyuki Tanka:
A Note on the Proof Method for Constructive Falsity. 63-64
Volume 37, Numbers 5-6, 1991
- Hirokazu Nishimura:
Boolean Valued Dedekind Domains. 65-76 - Ulrich Huckenbeck:
Some Elementary Results About the Equivalence of Computability and Decidability. 77-84 - H. Luckhardt:
Complexity Versus the Church-Rosser Property and Confluence. 85-92 - Lutz Heindorf:
Chains in Boolean Semigroup Algebras. 93-96
Volume 37, Number 7, 1991
- John Case:
Effectivizing Inseparability. 97-111
Volume 37, Number 8, 1991
- Rod Downey, Mike Stob:
Jumps of Hemimaximal Sets. 113-120 - Hilbert Levitz, Warren D. Nichols, Robert F. Smith:
A Macro Program for the Primitive Recursive Functions. 121-124 - Bernhard Banaschewski:
Fixpoints Without the Natural Numbers. 125-128
Volume 37, Numbers 9-12, 1991
- Mitio Takano:
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology. 129-138 - Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago:
The Paraconsistent Logics PJ. 139-148 - Ruy J. G. B. de Queiroz, T. S. E. Maibaum:
Abstract Data Types and Type Theory: Theories as Types. 149-166 - Andrea Sorbi:
Some Quotient Lattices of the Medvedev Lattice. 167-182 - Kyriakos Keremedis:
A Note on Shoenfield's Unramified Forcing. 183-186 - Wolfgang Rautenberg:
Common Logic of 2-Valued Semigroup Connectives. 187-192
Volume 37, Numbers 13-16, 1991
- Jürgen Hauck:
Ein Kriterium für die Primitive Rekursivität der Funktional-Iteration. 193-200 - Nader Vakil:
Representation of Nonstandard Hulls in IST for Certain Uniform Spaces. 201-205 - Athanassios Tzouvaras:
A Note on Real Subsets of A Recursively Saturated Model. 207-216 - Taneli Huuskonen:
The Construction of A Definable Non-Categorical Domain. 217-226 - Pierre Ille:
L'ensemble des Intervalles d'une Multirelation Binaire et Reflexive. 227-256
Volume 37, Number 17, 1991
- Jan Kuper:
An Application of Non-Wellfounded Sets to the Foundations of Geometry. 257-264 - Roman Murawski:
Some Properties of the Family of Expansions to Models of A. 265-272
Volume 37, Number 18, 1991
- Michael Deutsch:
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix. 273-288
Volume 37, Numbers 19-22, 1991
- Yasuo Kanai:
On A Variant of Weak Chang's Conjecture. 289-292 - George Georgescu:
F-Multipliers and the Localization of Distributive Lattices II. 293-300 - Angel V. Ditchev:
Effective Enumerations of Families of Finite Sets of Natural Numbers. 301-306 - Andrzej Orlicki:
Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results. 307-316 - V. Yu. Shavrukov:
On Rosser's Provability Predicate. 317-330 - Manuel Lerman:
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets. 331-342 - William S. Hatcher, Marcel Tonga:
Pairings on Lambda Algebras. 343-352
Volume 37, Numbers 23-24, 1991
- Marianne Morillon:
Extreme Choices on Complete Lexicographic Orders. 353-355 - Pieter Hendrik Rodenburg:
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames. 357-362 - Zofia Adamowicz, Costas Dimitracopoulos:
On A Problem Concerning Parameter Free Induction. 363-366 - Hirokazu Nishimura:
Some Boolean Valued Commutative Algebra. 367-384
Volume 37, Number 25, 1991
- Narciso García:
A Theory of Operations on the Universe I. The Theory of Iteration and F-Ordinals. 385-392 - John C. Simms:
Covering Hyperspace with Hypercurves. 393-400
Volume 37, Numbers 26-30, 1991
- Carlo Toffalori:
Simple Pairs of Equivalence Relations. 401-410 - Hanamantagouda P. Sankappanavar:
Varieties of Demi-Pseudocomplemented Lattices. 411-420 - Hirokazu Nishimura:
Foundations of Boolean Valued Algebraic Geometry. 421-438 - Andrzej Orlicki:
Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples. 439-452 - Armin Hemmerling:
Pebble Automata in Labyrinths with Rotation Systems. 453-466 - Ingo Bandlow:
A Construction in Set-Theoretic Topology by Means of Elementary Substructures. 467-480
Volume 37, Numbers 31-32, 1991
- Narciso García:
A Theory of Operations on the Universe II. Infinitary Operations. 481-488 - Hanamantagouda P. Sankappanavar:
Principal Congruences of Demi-Pseudocomplemented Ockham Algebras and Applications. 489-494 - Kyriakos Kontostathis:
Topological Framework for Non-Priority. 495-500 - Christoph Gerber, Jürg Schmid:
The Model Companion of Stone Semilattices. 501-512
Volume 37, Numbers 33-35, 1991
- Stefan Bilaniuk:
Degrees of Souslin Trees. 513-524 - Matt Insall:
Nonstandard Methods and Finiteness Conditions in Algebra. 525-532 - Mingsheng Ying
:
Deduction Theorem for Many-Valued Inference. 533-537 - Lauri Hella, Michal Krynicki:
Remarks on The Cartesian Closure. 539-545 - Andrei A. Kuzichev:
Church-Rosser Property for Some Extensions of λβ-Reducibility Relation. 547-559
a service of 
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-05-16 22:59 CEST 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:
