The Complete Axiomatisation of any Many-Valued Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 299, doi. 10.1002/malq.19760220140
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1976 AND VI 22 AND IP 1
Results: 64
1
2
Fundamental Sequences for Initial Ordinals Smaller than a Certain Θ<sub>0</sub>.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 97, doi. 10.1002/malq.19760220111
- By:
- Publication type:
- Article
3
Eine Klassifizierung Endlich Erzeugbarer Gruppen Durch Formale Sprachen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 419, doi. 10.1002/malq.19760220151
- By:
- Publication type:
- Article
4
Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 165, doi. 10.1002/malq.19760220122
- By:
- Publication type:
- Article
5
Algebraic Semantics for Modal Predicate Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 523, doi. 10.1002/malq.19760220162
- By:
- Publication type:
- Article
6
Relatively Complete Theories.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 245, doi. 10.1002/malq.19760220133
- By:
- Publication type:
- Article
7
A Neighbourhood Frame for T with No Equivalent Relational Frame.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 29, doi. 10.1002/malq.19760220104
- By:
- Publication type:
- Article
8
Concerning Completeness and Abelian Semigroups.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 85, doi. 10.1002/malq.19760220108
- By:
- Publication type:
- Article
9
A Formalisation of the Integers in a Multi-Successor Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 119, doi. 10.1002/malq.19760220115
- By:
- Publication type:
- Article
10
The Isomorphism Problem of Superatomic Boolean Algebras.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 439, doi. 10.1002/malq.19760220155
- By:
- Publication type:
- Article
11
On a Property of Matrices for Subsystems of IC<sup>+</sup>.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 193, doi. 10.1002/malq.19760220126
- By:
- Publication type:
- Article
12
On the Number of Solovay r-Degrees.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 283, doi. 10.1002/malq.19760220137
- By:
- Publication type:
- Article
13
Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 339, doi. 10.1002/malq.19760220144
- By:
- Publication type:
- Article
14
On the Definition of Computable Function of a Real Variable.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 391, doi. 10.1002/malq.19760220148
- By:
- Publication type:
- Article
15
Das Homomorphietheorem für MV-Algebren Endlicher Ordnung.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 141, doi. 10.1002/malq.19760220119
- By:
- Publication type:
- Article
16
Remarks on Self-Extending Models.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 509, doi. 10.1002/malq.19760220159
- By:
- Publication type:
- Article
17
A Completeness Result for Quantificational Tense Logic.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 89, doi. 10.1002/malq.19760220110
- By:
- Publication type:
- Article
18
Natürliche Kompliziertheitsmasze und Erhaltungssätze I.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 413, doi. 10.1002/malq.19760220150
- By:
- Publication type:
- Article
19
Universal Complete Boolean Algebras and Cardinal Collapsing.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 161, doi. 10.1002/malq.19760220121
- By:
- Publication type:
- Article
20
The Boolean (k, m, p<sub>1</sub>,..., p<sub>m</sub>)-Shift-Registers I.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 517, doi. 10.1002/malq.19760220161
- By:
- Publication type:
- Article
21
The Structure of the Lattice of Recursive Sets.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 187, doi. 10.1002/malq.19760220125
- By:
- Publication type:
- Article
22
Die Teilweise Geordnete Menge ϕ<sub>k</sub> der Vertauschbarkeitsmengen der K-Wertigen Logik.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 19, doi. 10.1002/malq.19760220103
- By:
- Publication type:
- Article
23
Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 333, doi. 10.1002/malq.19760220143
- By:
- Publication type:
- Article
24
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 117, doi. 10.1002/malq.19760220114
- By:
- Publication type:
- Article
25
Generalization of a Result of Pahi's.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 437, doi. 10.1002/malq.19760220154
- By:
- Publication type:
- Article
26
Zur Programmkomplexität Rekursiv Aufzählbarer Mengen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 239, doi. 10.1002/malq.19760220132
- By:
- Publication type:
- Article
27
Berechenbare Reelle Funktionenfolgen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 265, doi. 10.1002/malq.19760220136
- By:
- Publication type:
- Article
28
Sentences Preserved between Equivalent Topological Bases.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 79, doi. 10.1002/malq.19760220107
- By:
- Publication type:
- Article
29
The Inequivalence of Two Well-Known Notions of Randomness for Binary Sequences.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 385, doi. 10.1002/malq.19760220147
- By:
- Publication type:
- Article
30
Entscheidungsprobleme für Autonome Mehrbandautomaten.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 131, doi. 10.1002/malq.19760220118
- By:
- Publication type:
- Article
31
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 501, doi. 10.1002/malq.19760220158
- By:
- Publication type:
- Article
32
Ein Rekursiv Definiertes Geordnetes Paar.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 211, doi. 10.1002/malq.19760220129
- By:
- Publication type:
- Article
33
Fuzzy Membership Mapped onto Intervals and Many-Valued Quantities.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 149, doi. 10.1002/malq.19760220120
- By:
- Publication type:
- Article
34
A formal definition of the set of the logical connectors of pragmatics.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 513, doi. 10.1002/malq.19760220160
- By:
- Publication type:
- Article
35
Indexmengen und Erkennung Rekursiver Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 231, doi. 10.1002/malq.19760220131
- By:
- Publication type:
- Article
36
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 1, doi. 10.1002/malq.19760220102
- By:
- Publication type:
- Article
37
[Russian Text Ignored].
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 311, doi. 10.1002/malq.19760220142
- Publication type:
- Article
38
Compactness Without Languages.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 113, doi. 10.1002/malq.19760220113
- By:
- Publication type:
- Article
39
Einige Bemerkungen Zur Peano-Arithmetik.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 431, doi. 10.1002/malq.19760220153
- By:
- Publication type:
- Article
40
Formalisations With Non-Standard Degrees of Completeness.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 177, doi. 10.1002/malq.19760220124
- By:
- Publication type:
- Article
41
Completely Autoreducible Degrees.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 571, doi. 10.1002/malq.19760220164
- By:
- Publication type:
- Article
42
Deduction Theorems for T, E and R Reconsidered.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 261, doi. 10.1002/malq.19760220135
- By:
- Publication type:
- Article
43
Trees and Isols II.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 45, doi. 10.1002/malq.19760220106
- By:
- Publication type:
- Article
44
Reversible Automaten und Einfache Universelle 2-Dimensionale Thue-Systeme.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 353, doi. 10.1002/malq.19760220146
- By:
- Publication type:
- Article
45
Classes of One-Argument Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 127, doi. 10.1002/malq.19760220117
- By:
- Publication type:
- Article
46
Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol (Great Britain).
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 481, doi. 10.1002/malq.19760220157
- By:
- Publication type:
- Article
47
Logics Which Are Characterized by Subresiduated Lattices.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 199, doi. 10.1002/malq.19760220128
- By:
- Publication type:
- Article
48
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 289, doi. 10.1002/malq.19760220139
- By:
- Publication type:
- Article
49
Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. 215, doi. 10.1002/malq.19760220130
- By:
- Publication type:
- Article
50
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1976, v. 22, n. 1, p. fmi, doi. 10.1002/malq.19760220101
- Publication type:
- Article