Disjunctive properties of intuitionistic systems.

B. Scarpellini

The search session has expired. Please query the service again.

Displaying similar documents to “Disjunctive properties of intuitionistic systems.”

The unique existential quantifier.

H.B. Enderton (1970)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Quantifier elimination for modules.

Volker Weispfennig (1985)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.

Wolfgang Friedrich (1984)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Quasi-axiomatic classes.

Klaus Kaiser (1975)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Existential interpretation. II.

Yuri Gurevich (1982)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Synthetic compontents of infinite classes of postulates.

Pavel Tichy (1971)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Inhomogene Operationen reeller Ordinalzahlen.

Dieter Klaua (1981)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Non-Uniqueness at ... in Kleene's O.

Kurt Schütte, John N. Crossley (1971)

Archiv für mathematische Logik und Grundlagenforschung

Similarity:

Quasibeschränkte Fredholmoperatoren.

Helmut Kroh (1975)

Journal für die reine und angewandte Mathematik

Similarity:

Dualität in Moduln.

Azmi Hanna (1966)

Journal für die reine und angewandte Mathematik

Similarity:

Kommutatoren und 2-Cohomologie p-adischer Quaternionenschiefkörper.

Joachim Klose (1986)

Mathematische Zeitschrift

Similarity:

On desingularized Horrocks-Mumford quintics.

Ciprian Borcea (1991)

Journal für die reine und angewandte Mathematik

Similarity:

Idealtheorie in Quaternionenalgebren

H. Brandt (1928)

Mathematische Annalen

Similarity:

On subseries.

Tibor Salát (1964)

Mathematische Zeitschrift

Similarity:

Homoclinic Points in Conservative Systems.

Floris Takens (1972)

Inventiones mathematicae

Similarity:

Quadratsummen in Restklassenringen.

Detlef Laugwitz (1980)

Elemente der Mathematik

Similarity:

Charakterisierung der zweiseitigen Exponentialverteilung.

P. Findeisen (1982)

Metrika

Similarity:

A-Endomorphismes de A(X).

J.B. Castillon, A. Micali (1978)

Manuscripta mathematica

Similarity:

Reguläre idempotente Multiplikationen.

Karl Strambach (1975)

Mathematische Zeitschrift

Similarity:

Endomorphism of Polycyclic Groups.

Bertram A.F. Wehrfritz (1983)

Mathematische Zeitschrift

Similarity:

Symétrisation d'inéquations élliptiques et applications géométriques.

Najoua Abdelmoula (1988)

Mathematische Zeitschrift

Similarity:

Feuilletages et diffeomorphismes infiniment tangents ä Fidentite

F. Sergeraert (1977)

Inventiones mathematicae

Similarity:

Equidistribution Properties of Nonlinear Congruential Pseudorandom Numbers.

Jürgen Eichenauer-Herrmann (1993)

Metrika

Similarity:

Ueber polyedrale Configurationen

de Vries (1889)

Mathematische Annalen

Similarity:

Systèmes dynamiques non commutatifs et moyennabilité.

Claire Anantharaman-Delaroche (1987/88)

Mathematische Annalen

Similarity:

Operatormethoden für q-Identitäten.

J. Cigler (1979)

Monatshefte für Mathematik

Similarity:

Nichtäquidistante Diskretisierungen von Randwertaufgaben.

H. Esser, K. Niederdrenk (1980)

Numerische Mathematik

Similarity:

On Quaternion Number-Systems

H.E. Hawkes (1905)

Mathematische Annalen

Similarity:

Signatures et composantes connexes.

Louis Mahé (1982)

Mathematische Annalen

Similarity:

A counterexample to the L² estimate //Xyu//...C(//X...u// + //Y...u// + //u//).

Jaroslaw Wróblewski (1996)

Mathematische Annalen

Similarity:

Zum L(Q)-Interpolationsproblem.

Hans-Dieter Ebbinghaus (1975)

Mathematische Zeitschrift

Similarity:

Homologie de Frobenius.

M. André (1991)

Mathematische Annalen

Similarity:

Regularity properties of functional equations.

A. Járai (1982)

Aequationes mathematicae

Similarity:

On Quasibarrelled Spaces.

A. Marquina, P. Pérez Carreras (1974)

Manuscripta mathematica

Similarity:

On separation properties in semilattices.

J.C. Varlet (1975)

Semigroup forum

Similarity:

Kostenoptimale Prüfplane für ein quantitatives Merkmal.

U. Mäder (1986)

Metrika

Similarity:

Properties of twists of elliptic curves.

J.A. Antoniadis, M. Bungert, G. Frey (1990)

Journal für die reine und angewandte Mathematik

Similarity:

Crosssed products in bimodules.

Shigeru Yamagami (1996)

Mathematische Annalen

Similarity:

Noncyclic Division Algebras.

John Dauns (1979)

Mathematische Zeitschrift

Similarity:

Subpair multiplicities in finite groups.

Michel Broué, Jorn B. Olsson (1986)

Journal für die reine und angewandte Mathematik

Similarity:

Quasigroups and tactical systems.

Ronald D. Baker (1978)

Aequationes mathematicae

Similarity:

Über allgemeine Quadraturformeln.

R. von Mises (1936)

Journal für die reine und angewandte Mathematik

Similarity:

Structure de l'automate plein, réduit et inversible

ZENON MOSZNER (1973)

Aequationes mathematicae

Similarity:

Delta-plusharmonic functions.

Urban Cegrell (1978)

Mathematica Scandinavica

Similarity:

Some closure properties in monoids.

S. Schanuel, J. Isbell (1993)

Semigroup forum

Similarity:

Apolarity and its applications.

N.I. Shepherd-Barron (1989)

Inventiones mathematicae

Similarity:

On Bloch's Conjecture.

Yujiro Kawamata (1980)

Inventiones mathematicae

Similarity:

On nonstrict means.

János C. Fodor, Jean-Luc Marichal (1997)

Aequationes mathematicae

Similarity:

Non-Replaceable Matrices.

Albert Wilansky, Andrew K. Snyder (1972)

Mathematische Zeitschrift

Similarity: