Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 35
Volume 35, Number 1, 1989
- Peter A. Fejer:
Embedding Lattices with Top Preserved Below Non-GL2 Degrees. 3-14 - Néstor G. Martínez:
Elimination of Quantifiers on Łukasiewicz Logics. 15-21 - Carlo Toffalori:
p-ℵ0-Categorical Lattice-Ordered Structures. 23-28 - Douglas S. Bridges, William Julian, Ray Mines:
A Constructive Treatment of Open and Unopen Mapping Theorems. 29-43 - Marcin Mostowski:
Pure Logic with Branched Quantifiers. 45-48 - Loredana Biacino, Giangiacomo Gerla:
Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets. 49-62 - Roland Hinnion:
Embedding Properties and Anti-Foundation in Set Theory. 63-70 - Alexander Leitsch:
On Different Concepts of Resolution. 71-77 - Andrzej Orlicki:
Covariant Hom-Functors on the Category of Enumerated Sets. 79-94 - Andrzej Orlicki:
Correction to "Strong Reducibilities of Enumerations and Partial Enumerated Algebras". 95
Volume 35, Number 2, 1989
- Andrea Cantini:
Notes on Formal Theories of Truth. 97-130 - Yehuda Rav:
Lattice Theoretical Equivalences of the Ultrafilter Principle. 131-136 - Michael Deutsch:
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten. 137-153 - Peter Zahn:
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems. 155-168 - Michel Hébert:
Preservation and Interpolation Through Binary Relations Between Theories. 169-182 - Daniel Abraham Romano:
Construction of a Coideal of a Ring Compatible with a Principal Ideal. 183-184 - Thomjas Bedürftig:
Another Characterization of the Natural Numbers. 185-186 - Helmut Wolter:
Orderings in Exponential Fields of Term Defined Functions. 187-192
Volume 35, Number 3, 1989
- Martin Dowd:
An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment. 193-196 - Thomas G. McLaughlin:
Some Extension and Rearrangement Theorems For Nerode Semirings. 197-209 - Sherrie J. Nicol:
Continuous and Exact Sets of Specified Cardinality. 211-224 - Stanley Burris:
Decidable Model Companions. 225-227 - Hanamantagouda P. Sankappanavar:
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences. 229-236 - Rodney G. Downey, Michael F. Moses:
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders. 237-246 - Dick de Jongh, Franco Montagna:
Much Shorter Proofs. 247-260 - Stefano Baratella
:
On Some Properties of Recursively Enumerable Equivalence Relations. 261-268 - Peter Zahn:
Supplements to "A Predicative Approach to Nonstandard Mathematics". 269-271 - Reinhard Pöschel:
The Equational Logic For Graph Algebras. 273-282 - Ingo Bandlow:
A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology. 283-288
Volume 35, Number 4, 1989
- Giovanna Corsi:
A Cut-Free Calculus For Dummett's LC Quantified. 289-301 - Klaus Denecke:
Hyperidentities of Dyadic Algebras. 303-310 - W. Richard Strark:
A Logic For Distributed Processes. 311-320 - Roger D. Maddux:
Finitary Algebraic Logic. 321-332 - Jorge Castro, Felipe Cucker:
Nondeterministic Ω-Computations and the Analytical Hierarchy. 333-342 - Alessandra Carbone, Franco Montagna:
Rosser Orderings in Bimodal Logics. 343-358 - Walter Felscher:
A Linear Parsing Algorithm For Parenthesis Terms. 359-362 - Stephen H. Brackin:
Partitions with no Coarsenings of Higher Degree. 363-366 - Pier Luigi Ferrari:
The Rank Function and Hilbert'S Second ϵ-Theorem. 367-373 - Rod Downey:
A Contiguous Nonbranching Degree. 375-383
Volume 35, Number 5, 1989
- Thomas Forster:
A Consistent Higher-Order Theory Without a (Higher-Order) Model. 385-386 - Takao Inoué:
A Note on Stahl's Opposite System. 387-390 - Henryk Kotlarski:
On the End Extension Problem For Δ0-PA(S). 391-397 - Ramon Jansana:
On the Mathematical Content of the Theory of Classes KM. 399-412 - Jannis Manakos:
On a Subtheory of the Bernays-Gödel Set Theory. 413-414 - Shin'ichi Yokota:
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I. 415-421 - Zhixiang Chen:
On Splitting of a Recursive Set with Polynomial Time Minimal Pairs. 423-432 - Douglas S. Bridges:
A General Constructive Intermediate Value Theorem. 433-435 - Melven Krom, Myren Krom:
Recursive Solvability of Problems with Matrices. 437-442 - Richard Kaye:
Parameter-Free Universal Induction. 443-456 - Andrzej Orlicki:
On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets. 457-468 - Karol Habart:
On Absoluteness. 469-480
Volume 35, Number 6, 1989
- G. E. Puninskij:
The Model Completion of the Theory of All Partially Ordered Sets. 481 - Mitsuru Yasuhara:
An Addition to "Cut Elimination in ϵ-Calculi". 483-484 - Hanamantagouda P. Sankappanavar:
Linked Double Weak Stone Algebras. 485-494 - Andrey A. Kuzichev:
A Theory of Ambiguous Types and Its Axiomatizations. 495-514 - Daniel Abraham Romano:
Construction of An Equality Relation on a Set with Coequality Relation. 515-516 - Michael Deutsch:
Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1). 517-529 - Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry. 531-535 - Juji Takahashi:
Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed. 537-538 - Ahmed K. Khalifa:
A New Approach to Constructive Topology and Measure Theory. 539-550 - Heinrich Wansing:
Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten. 551-557 - Ewa Orlowska:
Logic For Reasoning About Knowledge. 559-572 - Pawel Pazdyka:
On A Reconstruction of Models in Models with Only One Binary Relation: A Correction. 573 - Roland Hinnion:
Correction to "Embedding Properties and Anti-Foundation in Set Theory". 574
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-07-01 21:35 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:
