Works matching IS 09425616 AND DT 2010 AND VI 56 AND IP 1

Results: 13

Forms of the Pasch axiom in ordered geometry.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 29, doi. 10.1002/malq.200810032

By:

Pambuccian, Victor

Publication type:

Article

Analyzing completeness of axiomatic functional systems for temporal × modal logics.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 89, doi. 10.1002/malq.200810038

By:

Burrieza, Alfredo;
de Guzmán, Inmaculada P.;
Muñoz-Velasco, Emilio

Publication type:

Article

Soft ordered semigroups.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 42, doi. 10.1002/malq.200810030

By:

Young Bae Jun;
Kyoung Ja Lee;
Asghar Khan

Publication type:

Article

Hyper MV -ideals in hyper MV -algebras.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 51, doi. 10.1002/malq.200810035

By:

Torkzadeh, Lida;
Ahadpanah, Afsaneh

Publication type:

Article

Confined modified realizability.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 13, doi. 10.1002/malq.200810029

By:

Ferreira, Gilda;
Oliva, Paulo

Publication type:

Article

Degree spectra and immunity properties.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 67, doi. 10.1002/malq.200910001

By:

Csima, Barbara F.;
Kalimullin, Iskander S.

Publication type:

Article

Full Lambek Calculus in natural deduction.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 85, doi. 10.1002/malq.200810042

By:

Zimmermann, Ernst

Publication type:

Article

Connectedness and compactness on standard sets.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 63, doi. 10.1002/malq.200810036

By:

Almeida, Ricardo

Publication type:

Article

Contents: Math. Log. Quart. 1/2010.

Published in:: 2010
Publication type:: Table of Contents

On pseudolinearity and generic pairs.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 35, doi. 10.1002/malq.200810033

By:

Vassiliev, Evgueni

Publication type:

Article

Tallness and level by level equivalence and inequivalence.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 4, doi. 10.1002/malq.200810039

By:

Apter, Arthur W.

Publication type:

Article

A Łoś type theorem for linear metric formulas.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 78, doi. 10.1002/malq.200810037

By:

Bagheri, Seyed-Mohammad

Publication type:

Article

The class of polyadic algebras has the super amalgamation property.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 103, doi. 10.1002/malq.200810040

By:

Ahmed, Tarek Sayed

Publication type:

Article