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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Modal Tree-Sequents.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 197, doi. 10.1002/malq.19960420117
- By:
- 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:
- Publication type:
- Article
Intrinsically Hyperarithmetical Sets.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Intrinsically II.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 109, doi. 10.1002/malq.19960420110
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article