The Strengths of Some Violations of Covering.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 291, doi. 10.1002/1521-3870(200108)47:3<291::AID-MALQ291>3.0.CO;2-P
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2001 AND VI 47 AND IP 3
Results: 11
1
2
Algebraic Logic for Rational Pavelka Predicate Calculus.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 315
- By:
- Publication type:
- Article
3
Γ<sub>0</sub> May Be Minimal Subrecursively Inaccessible.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 397, doi. 10.1002/1521-3870(200108)47:3<397::AID-MALQ397>3.0.CO;2-Y
- By:
- Publication type:
- Article
4
A Constructive Version of the Spectral Mapping Theorem.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 299, doi. 10.1002/1521-3870(200108)47:3<299::AID-MALQ299>3.0.CO;2-U
- By:
- Publication type:
- Article
5
Quotient Fields of a Model of IΔ<sub>0</sub> + Ω<sub>1</sub>.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 305, doi. 10.1002/1521-3870(200108)47:3<305::AID-MALQ305>3.0.CO;2-4
- By:
- Publication type:
- Article
6
Normal Domain Representations of Topological Spaces.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 409, doi. 10.1002/1521-3870(200108)47:3<409::AID-MALQ409>3.0.CO;2-L
- By:
- Publication type:
- Article
7
Cut-elimination Theorems for Some Infinitary Modal Logics.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 327, doi. 10.1002/1521-3870(200108)47:3<327::AID-MALQ327>3.0.CO;2-P
- By:
- Publication type:
- Article
8
Kripke-style Semantics of Orthomodular Logics.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 341, doi. 10.1002/1521-3870(200108)47:3<341::AID-MALQ341>3.0.CO;2-4
- By:
- Publication type:
- Article
9
Finitary Treatment of Operator Controlled Derivations.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 363, doi. 10.1002/1521-3870(200108)47:3<363::AID-MALQ363>3.0.CO;2-P
- By:
- Publication type:
- Article
10
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 413, doi. 10.1002/1521-3870(200108)47:3<413::AID-MALQ413>3.0.CO;2-4
- By:
- Publication type:
- Article
11
Non-constructive Properties of the Real Numbers.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 423, doi. 10.1002/1521-3870(200108)47:3<423::AID-MALQ423>3.0.CO;2-0
- By:
- Publication type:
- Article