Works matching IS 09425616 AND DT 1996 AND VI 42 AND IP 1

Results: 45

The Maximal Closed Classes of Unary Functions in p-Valued Logic.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 234, doi. 10.1002/malq.19960420120

By:

Renren, Liu;
Czukai, Lo

Publication type:

Article

Decidability for ℤ[ G]-Modules when G is Cyclic of Prime Order.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 369, doi. 10.1002/malq.19960420131

By:

Toffalori, Carlo

Publication type:

Article

On End-Extensions of Models of ¬exp.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 1, doi. 10.1002/malq.19960420102

By:

Ferreira, Fernando

Publication type:

Article

Minimum-sized Infinite Partitions of Boolean Algebras.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 537, doi. 10.1002/malq.19960420142

By:

Donald Monk, J.

Publication type:

Article

Tense Logic Without Tense Operators.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 145, doi. 10.1002/malq.19960420113

By:

Wolter, Frank

Publication type:

Article

Precovers, Modalities and Universal Closure Operators in a Topos.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 289, doi. 10.1002/malq.19960420124

By:

Bell, John L.;
Gebellato, Silvia

Publication type:

Article

Some Decidability Results for ℤ[G]-Modules when G is Cyclic of Squarefree Order.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 433, doi. 10.1002/malq.19960420135

By:

Toffalori, Carlo

Publication type:

Article

The Recursively Mahlo Property in Second Order Arithmetic.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 59, doi. 10.1002/malq.19960420106

By:

Rathjen, Michael

Publication type:

Article

Modal Tree-Sequents.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 197, doi. 10.1002/malq.19960420117

By:

Cerrato, Claudio

Publication type:

Article

Analyse de complexité pour un théorème de Hall sur les fractions continues.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 134, doi. 10.1002/malq.19960420112

By:

Labhalla, Salah;
Lombardi, Henri

Publication type:

Article

Intrinsically Hyperarithmetical Sets.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139

By:

Soskov, Ivan N.

Publication type:

Article

Storage Operators and ∀-positive Types in TTR Type System.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 349, doi. 10.1002/malq.19960420130

By:

Nour, Karim

Publication type:

Article

Masthead.

Published in:: Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. fmi, doi. 10.1002/malq.19960420101
Publication type:: Article

Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 501, doi. 10.1002/malq.19960420141

By:

Bertolotti, Guido;
Miglioli, Pierangelo;
Silvestrini, Daniela

Publication type:

Article

The Axiom of Choice in Quantum Theory.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 319, doi. 10.1002/malq.19960420128

By:

Brunner, Norbert;
Svozil, Karl;
Baaz, Matthias

Publication type:

Article

Recursive Structures and Ershov's Hierarchy.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 461, doi. 10.1002/malq.19960420138

By:

Ash, Christopher J.;
Knight, Julia F.

Publication type:

Article

Asymmetric Interpretations for Bounded Theories.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 270, doi. 10.1002/malq.19960420123

By:

Cantini, Andrea

Publication type:

Article

Decidability of ∀*∀-Sentences in Membership Theories.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 41, doi. 10.1002/malq.19960420105

By:

Omodeo, Eugenio G.;
Parlamento, Franco;
Policriti, Alberto

Publication type:

Article

Some Remarks on Finite Löwenheim-Skolem Theorems.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 569, doi. 10.1002/malq.19960420145

By:

Grohe, Martin

Publication type:

Article

Strong Minimal Covers for Recursively Enumerable Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 191, doi. 10.1002/malq.19960420116

By:

Barry Cooper, S.

Publication type:

Article

The Computation of Partial Recursive Word-Functions Without Read Instructions.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 312, doi. 10.1002/malq.19960420127

By:

Petersen, Holger

Publication type:

Article

Forking and Incomplete Types.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 421, doi. 10.1002/malq.19960420134

By:

Hyttinen, Tapani

Publication type:

Article

Inconsistency of GPK + AFA.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 104, doi. 10.1002/malq.19960420109

By:

Esser, Olivier

Publication type:

Article

Properties of Tense Logics.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 481, doi. 10.1002/malq.19960420140

By:

Wolter, Frank

Publication type:

Article

A Note on Closed Degrees of Difficulty of the Medvedev Lattice.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 127, doi. 10.1002/malq.19960420111

By:

Bianchini, Caterina;
Sorbi, Andrea

Publication type:

Article

Splittings of 0' into the Recursively Enumerable Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 249, doi. 10.1002/malq.19960420122

By:

Yi, Xiaoding

Publication type:

Article

The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 410, doi. 10.1002/malq.19960420133

By:

Howard, Paul;
Rubin, Jean E.

Publication type:

Article

The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 83, doi. 10.1002/malq.19960420108

By:

Laforte, Geoffrey

Publication type:

Article

Computability of Minimizers and Separating Hyperplanes.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 564, doi. 10.1002/malq.19960420144

By:

Wong, Kam-Chau

Publication type:

Article

Modal Aggregation and the Theory of Paraconsistent Filters.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 175, doi. 10.1002/malq.19960420115

By:

Apostoli, Peter

Publication type:

Article

On the Logic of Common Belief.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 305, doi. 10.1002/malq.19960420126

By:

Bonanno, Giacomo

Publication type:

Article

Recursion in Partial Type-1 Objects With Well-Behaved Oracles.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 449, doi. 10.1002/malq.19960420137

By:

Tourlakis, George

Publication type:

Article

The Operators of Vector Logic.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 27, doi. 10.1002/malq.19960420104

By:

Mizraji, Eduardo

Publication type:

Article

Polymodal Lattices and Polymodal Logic.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 219, doi. 10.1002/malq.19960420119

By:

Bell, John L.

Publication type:

Article

Intrinsically II.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 109, doi. 10.1002/malq.19960420110

By:

Soskov, Ivan N.

Publication type:

Article

Effectively and Noneffectively Nowhere Simple Sets.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 241, doi. 10.1002/malq.19960420121

By:

Harizanov, Valentina S.

Publication type:

Article

Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Space.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 379, doi. 10.1002/malq.19960420132

By:

Zhou, Qing

Publication type:

Article

Loeb Measure from the Point of View of a Coin Flipping Game.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 19, doi. 10.1002/malq.19960420103

By:

Kanovei, Vladimir;
Reeken, Michael

Publication type:

Article

Yosida Type Representation for Perfect MV-Algebras.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 551, doi. 10.1002/malq.19960420143

By:

Belluce, Lawrence P.;
Nola, Antonio Di

Publication type:

Article

A Note on Boolean Algebras with Few Partitions Modulo some Filter.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 172, doi. 10.1002/malq.19960420114

By:

Huberich, Markus

Publication type:

Article

Decidability in Intuitionistic Type Theory is Functionally Decidable.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 300, doi. 10.1002/malq.19960420125

By:

Valentini, Silvio

Publication type:

Article

An Intuitionistic Version of Cantor's Theorem.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 446, doi. 10.1002/malq.19960420136

By:

Maguolo, Dario;
Valentini, Silvio

Publication type:

Article

Remarks on Uniformly Finitely Precomplete Positive Equivalences.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 67, doi. 10.1002/malq.19960420107

By:

Yu. Shavrukov, V.

Publication type:

Article

A Cardinal Pattern Inspired by AD.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 211, doi. 10.1002/malq.19960420118

By:

Apter, Arthur W.

Publication type:

Article

On Overspill Principles and Axiom Schemes for Bounded Formulas.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 341, doi. 10.1002/malq.19960420129

By:

Borrego-Díaz, Joaquín;
Fernández-Margarit, Alejandro;
Pérez-Jiménez, Mario

Publication type:

Article