books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 35; Issue 1
Main
Journal of Symbolic Logic
Volume 35; Issue 1
Journal of Symbolic Logic
Volume 35; Issue 1
1
On Theories T Categorical in |T
Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 1014 KB
Your tags:
english, 1970
2
Probability and the Logic of Rational Beliefby Henry E. Kyburg,
Review by: Peter Krauss
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 370 KB
Your tags:
english, 1970
3
Simplicity of Recursively Enumerable Setsby Robert W. Robinson;Two Theorems on hyperhypersimple Setsby Robert W. Robinson;On the Lattice of Recursively Enumerable Setsby A. H. Lachlan;The Elementary Theory of Recursively Enumerable Setsby A. H. Lachlan
Review by: James C. Owings, Jr
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 448 KB
Your tags:
english, 1970
4
Introduction to Logicby Irving M. Copi
Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 221 KB
Your tags:
english, 1970
5
Meeting of the Association for Symbolic Logic
Jaakko Hintikka, Karel De Bouvere and Isaac Levi
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 913 KB
Your tags:
english, 1970
6
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 249 KB
Your tags:
english, 1970
7
Algebraic Completeness Results for R-Mingle and Its Extensions
J. Michael Dunn
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 1.11 MB
Your tags:
english, 1970
8
The Number of Countable Models
Michael Morley
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 498 KB
Your tags:
english, 1970
9
On an Algebra of Sets of Finite Sequences
J. Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 824 KB
Your tags:
english, 1970
10
Turing Degrees and Many-One Degrees of Maximal Sets
Manuel Lerman
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 1.03 MB
Your tags:
english, 1970
11
A Theorem on Initial Segments of Degrees
S. K. Thomason
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 443 KB
Your tags:
english, 1970
12
On a Question of G. E. Sacks
Kempachiro Ohashi
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 395 KB
Your tags:
english, 1970
13
A Universal Embedding Property of the RETs
Anil Nerode and Alfred B. Manaster
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 862 KB
Your tags:
english, 1970
14
Every Analytic Set is Ramsey
Jack Silver
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 563 KB
Your tags:
english, 1970
15
Almost Combinatorial Skolem Functions
Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 896 KB
Your tags:
english, 1970
16
On the Cardinality of Ultraproduct of Finite Sets
Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1970
17
Bases and α-Dimensions of Countable Vector Spaces with Recursive Operations
Alan G. Hamilton
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 1006 KB
Your tags:
english, 1970
18
An Algebraic Characterization of Indistinguishable Cardinals
A. B. Slomson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 634 KB
Your tags:
english, 1970
19
Tense Logic for Discrete Future Time
Patrick Schindler
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 874 KB
Your tags:
english, 1970
20
A Problem in the Theory of Constructive Order Types
Robin O. Gandy and Robert I. Soare
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 361 KB
Your tags:
english, 1970
21
The Medieval Contribution to Logicby Ernest A. Moody;A Quodlibetal Question of Robert Holkot, O.P., on the Problem of the Objects of Knowledge and of Beliefby Ernest A. Moody;Buridan and a Dilemma of Nominalismby Ernest A. Moody
Review by: Desmond Paul Henry
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 503 KB
Your tags:
english, 1970
22
A Paradox of Informationby David Miller;A Comment on Miller's New Paradox of Informationby Karl R. Popper;A Paradox of Zero Informationby Karl R. Popper;Miller's So-called Paradox: A Reply to Professor J. L. Mackieby David Miller;Miller's paradox of Informationby Jeffrey Bub; Michael Radner;The Straight and Narrow Rule of Induction: A Reply to Dr Bub and Mr Radnerby David Miller;New Mysteries for Old: The Transfiguration of Miller's Paradoxby William W. Rozeboom
Review by: Richard C. Jeffrey
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 651 KB
Your tags:
english, 1970
23
Probability and Randomnessby Henry E. Kyburg,
Review by: Peter Krauss
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 224 KB
Your tags:
english, 1970
24
Demonstrative Inductionby Henry E. Kyburg,
Review by: Peter Krauss
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 225 KB
Your tags:
english, 1970
25
Measurement, Empirical Meaningfulness, and Three-Valued Logicby Patrick Suppes;Logics Appropriate to Empirical Theoriesby Patrick Suppes; J. W. Addison; Leon Henkin; Alfred Tarski
Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 462 KB
Your tags:
english, 1970
26
Räumliche Vorstellung und Mathematisches Erkenntnisvermögen. Erster Band.by W. A. Verloren van Themaat
Review by: Hans Freudenthal
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1970
27
Frege on Conceptsby Haig Khatchadourian
Review by: Michael D. Resnik
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 213 KB
Your tags:
english, 1970
28
On Acting on a Beliefby Richard M. Martin
Review by: J. Jay Zeman
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 213 KB
Your tags:
english, 1970
29
Some Semantic relations Between Sentoidsby J. F. Staal
Review by: Gilbert H. Harman
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 321 KB
Your tags:
english, 1970
30
Mood and Language-Gameby Erik Stenius;Semantic and Pragmatic Characterizability of Linguistic Usageby Lennart Aqvist
Review by: Bruce Vermazen
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1970
31
`Ought' and Assumption in Moral Philosophyby Hector-Neri Castañeda
Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 333 KB
Your tags:
english, 1970
32
Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculiby Saul A. Kripke;The Inadequacy of Kripke's Semantical Analysis of D2 and D3by R. Routley; H. Montgomery
Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1970
33
On Some Completeness Theorems in Modal Logicby D. Makinson
Review by: Lennart Åqvist
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 332 KB
Your tags:
english, 1970
34
An Extension Algebra and the Modal System Tby E. J. Lemmon;Algebraic Semantics for Modal Logicsby E. J. Lemmon
Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1970
35
Note on a System of Åqvist.by M. J. Cresswell;S3(S) = S3.5by M. K. Rennie
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1970
36
On Constructible Falsity in the Constructive Logic with Strong Negationby A. Bialynicki-Birula; H. Rasiowa
Review by: David Nelson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1970
37
Some Superconstructive Propositional Calculiby V. A. Jankov; Sue Walker;Realizable formulas of Propositional Logicby V. A. Jankov; Elliott Mendelson;The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structuresby V. A. Jankov; Elliott Mendelson
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 348 KB
Your tags:
english, 1970
38
Sur les Algèbres de Hilbert.by Antonio Diego; Jean Porte; Luisa Iturrioz
Review by: C. G. McKay
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 238 KB
Your tags:
english, 1970
39
Independence of Two Nice Sets of Axioms for the Propositional Calculusby T. Thacher Robinson
Review by: John R. Chidgey
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 379 KB
Your tags:
english, 1970
40
Methoden zur Axiomatisierung Beliebiger Aussagen- und Prädikatenkalküle.by Karl Schröter
Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 237 KB
Your tags:
english, 1970
41
On Finitely Many-Valued Logicsby Rolf Schock;On Denumerably Many-Valued Logicsby Rolf Schock;Some Theorems on the Relative Strengths of Many-Valued Logicsby R. Schock
Review by: Robert K. Meyer
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 474 KB
Your tags:
english, 1970
42
Formalisation du Calcul Propositionnel implicatif
Review by: B. Scarpellini
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1970
43
A Formalisation of the $\aleph_0$-Valued Łukasiewicz Implicational Propositional Calculus with Variable Functors.by Alan Rose
Review by: B. Scarpellini
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1970
44
An Example of a Non-Axiomatizability Many Valued Logicby Andrzej Mostowski
Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1970
45
Axiomatizability of some many Valued Predicate Calculiby A. Mostowski
Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1970
46
Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variablesby S. Ju. Maslov; G. E. Minc; V. P. Orevkov; E. Mendelson
Review by: Georg Kreisel
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 358 KB
Your tags:
english, 1970
47
Investigations into Logical Deductionby Gerhard Gentzen; M. E. Szabo;Introductionby Paul Bernays
Review by: John Riser
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 362 KB
Your tags:
english, 1970
48
An Algebraic Formulation of Cut-Elimination Theoremby Satoko Titani
Review by: Moto-o Takahashi
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1970
49
On Set Theoretical Operationsby Yoemon Sampei
Review by: M. R. Krom
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1970
50
Note on the Effective Choice of a Point in the Complement of an Analytic Setby Yoemon Sampei
Review by: M. R. Krom
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1970
51
On the uniformization of a Set of Class Aρσby Yoemon Sampei
Review by: M. R. Krom
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1970
52
A Formalization of the Theory of Sets from the Point of View of Combinatory Logicby Edward J. Cogan;Uber einen Widerspruch in Cogans Darstellung der Mengenlehreby Rainer Titgemeyer
Review by: Jonathan P. Seldin
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1970
53
Set Theory based on Combinatory Logicby Maarten Wicher Visser Bunder
Review by: Jonathan P. Seldin
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 362 KB
Your tags:
english, 1970
54
L'axiome du Choixby Wacław Sierpiński
Review by: Jean E. Rubin
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 244 KB
Your tags:
english, 1970
55
Binary Relations as Primitive Notions in Elementary Geometryby Raphael M. Robinson
Review by: L. W. Szczerba
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 244 KB
Your tags:
english, 1970
56
On the Representation of Herbrand Functions in Algebraically Closed Fieldsby A. H. Lightstone; A. Robinson
Review by: Erwin Engeler
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 356 KB
Your tags:
english, 1970
57
Model Theory and Non-Standard Arithmeticby A. Robinson
Review by: William N. Reinhardt
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1970
58
Nonconcatenative Abstract Skolem Arithmeticsby H. A. Pogorzelski
Review by: H. Hermes
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1970
59
Concatenation as Basis for a Complete System of Arithmeticby M. H. Löb;Formal Systems of Constructive Mathematicsby M. H. Lob
Review by: Charles Parsons
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1970
60
The Decision Problem for Exponential Diophantine Equationsby Martin Davis; Hilary Putnam; Julia Robinson
Review by: Hartley Rogers, Jr.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 356 KB
Your tags:
english, 1970
61
The Undecidability of Exponential Diophantine Equationsby Julia Robinson
Review by: Hartley Rogers, Jr
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1970
62
Uber Arithmetische Funktionen von unendlich Vielen Variablen, Welche an Jeder Stelle Bloss von Einer Endlichen Anzahl von Variabeln Abhangig sindby L. Kalmar
Review by: D. A. Clarke
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1970
63
Recursive Functions in Basic Logicby Frederic B. Fitch
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 351 KB
Your tags:
english, 1970
64
Untersuchungen Über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit.by Dieter Titgemeyer
Review by: S. K. Thomason
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1970
65
A Note on Regressive Isolsby Joseph Barback
Review by: Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1970
66
Double Series of Isolsby Joseph Barback
Review by: Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1970
67
Regressive Upper Boundsby Joseph Barback
Review by: Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 333 KB
Your tags:
english, 1970
68
An md-Class of Sets Indexed by a Regressive Functionby Joseph Barback
Review by: Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1970
69
Computable Functionals of Finite Type Iby R. O. Gandy; John N. Crossley
Review by: Richard A. Platek
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1970
70
Certain Directed post Systems and Automataby R. M. Baer
Review by: Calvin C. Elgot
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 317 KB
Your tags:
english, 1970
71
Complexity of Recognition of Symmetry on Turing Machines with Inputby R. Fréjvald;Complexity of Recognition of Symmetry on Turing Machinesby A. M. Barzdin
Review by: Albert A. Mullin
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1970
72
Resolution with Mergingby Peter B. Andrews
Review by: David Luckham
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 345 KB
Your tags:
english, 1970
73
Determination of the Set of all Four-Variable Formulae Corresponding to Universal Decision Elements using a Logical Computerby Eric Foxley
Review by: A. Rose
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1970
74
The Construction of Scale-of-two Mechanisms from Universal Decision Elementsby Eric Foxley
Review by: A. Rose
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1970
75
The Number of Transitivity Sets of Boolean Functionsby Michael A. Harrison;The Number of Equivalence Classes of Boolean Functions under Groups Containing negationby Michael A. Harrison;On the Number of Classes of (n, k) Switching Networksby Michael A. Harrison;The Number of Classes of Invertible Boolean Functionsby Michael A. Harrison
Review by: J. Kuntzmann
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 352 KB
Your tags:
english, 1970
76
On the Group Invariance of Boolean Functionsby G. N. Povarov
Review by: A. Ádám
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1970
77
Set-Theoretical Methods in the Algebra of Logicby Ú. I. Žuravlév
Review by: A. Ádám
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1970
78
Toward More Clarity in Business Communication by Modern Logical Methodsby Layman E. Allen;Toward a Procedure for Logically Cataloguing Knowledgeby Layman E. Allen
Review by: Robert F. Barnes, Jr
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 448 KB
Your tags:
english, 1970
79
The Spirit of Western Philosophy. A Historical Interpretation Including Selections from the Major European Philosophersby Newton P. Stallknecht; Robert S. Brumbaugh
Review by: Irving M. Copi
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 224 KB
Your tags:
english, 1970
80
The Compass of Philosophy. An Essay in Intellectual Orientationby Newton P. Stallknecht; Robert S. Brumbaugh
Review by: Irving M. Copi
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1970
81
Can There be Random Individuals?by Nicholas Rescher;Mr. Rescher on Random Individualsby L. Goddard;The Rules of Natural Deductionby J. L. Mackie;The Symbolising of Natural Deductionby J. L. Mackie;Arbitrary Individuals and Natural Deductionby Robert Price;A Correction to Mackie's Natural Deductionby M. K. Rennie
Review by: William A. Wisdom
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1970
82
Elementary Logicby Willard Van Orman Quine
Review by: Robert L. Stanley
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1970
83
Lecture Notes on Mathematical Logicby Martin Davis
Review by: A. H. Lightstone
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1970
84
Aspects of the Theory of Syntaxby Noam Chomsky
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1970
85
Can Kant's Synthetic Judgements be made Analytic?by Lewis White Beck
Review by: Anthony Anderson
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 301 KB
Your tags:
english, 1970
86
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 949 KB
Your tags:
english, 1970
87
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 512 KB
Your tags:
english, 1970
88
Gentzen Gerhard. Investigations into logical deduction. English translation of 4422 by Szabo M. E.. American philosophical quarterly, vol. 1 (1964), pp. 288–306, and vol. 2 (1965), pp. 204–218.Bernays Paul. Introduction. Therein, vol. 1, p. 288.
Riser, John
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 344 KB
Your tags:
english, 1970
89
An Application of Lattices to Logicby H. Rasiowa; R. Sikorski
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 251 KB
Your tags:
english, 1970
90
On Complete Sets of Logic Primitivesby H. H. Loomis,; R. H. Wyman,
Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 263 KB
Your tags:
english, 1970
91
Almost combinatorial Skolem functions
Ellentuck, Erik
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 583 KB
Your tags:
english, 1970
92
Reviews. Ernest A. Moody. The medieval contribution to logic. Studium generale, vol. 19 (1966), pp. 443–452. Ernest A. Moody. A quodlibetal question of Robert Holkot, O.P., on the problem of the objects of knowledge and of belief. Speculum, vol. 39 (1964), pp. 53–74. Ernest A. Moody. Buridan and a dilemma of nominalism. Harry Austryn Wolfson jubilee volume, English section, vol. 2, American Academy for Jewish Research, Jerusalem 1965, pp. 577–596.
Henry, Desmond Paul
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 260 KB
Your tags:
english, 1970
93
Mostowski Andrzej. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76.
Hay, Louise
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 92 KB
Your tags:
english, 1970
94
Notice of conference on mathematical logic
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 77 KB
Your tags:
english, 1970
95
On an algebra of sets of finite sequences
Donald Monk, J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 551 KB
Your tags:
english, 1970
96
On a question of G. E. Sacks
Ohashi, Kempachiro
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 225 KB
Your tags:
english, 1970
97
Every analytic set is Ramsey
Silver, Jack
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 367 KB
Your tags:
english, 1970
98
A problem in the theory of constructive order types
Gandy, Robin O.
,
Soare, Robert I.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1970
99
Kyburg Henry E. Jr., Demonstrative induction. Philosophy and phenomenological research, vol. 21 no. 1 (1960), pp. 80–92.
Krauss, Peter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 101 KB
Your tags:
english, 1970
100
Verloren van Themaat W. A.. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Erster Band. D. Reidel Publishing Company, Dordrecht 1963, X + 131 pp.Verloren van Themaat W. A.. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Zweiter Band. D. Reidel Publishing Company, Dordrecht, VIII + 59 pp.
Freudenthal, Hans
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 179 KB
Your tags:
english, 1970
101
Sierpiński Wacław. L'axiome du choix. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 257–266.
Rubin, Jean E.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1970
102
Lightstone A. H. and Robinson A.. On the representation of Herbrand functions in algebraically closed fields. The journal of symbolic logic, vol. 22 (1957), pp. 187–204.
Engeler, Erwin
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1970
103
Davis Martin, Putnam Hilary, and Robinson Julia. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.
Rogers, Hartley
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1970
104
Baer R. M.. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 151–174.
Elgot, Calvin C.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 171 KB
Your tags:
english, 1970
105
Žuravlév Ú. I.. Téorétiko-množéstvénnyé métody v algébré logiki (Set-theoretical methods in the algebra of logic). Problémy kibérnétiki, vol. 8 (1962), pp. 5–44.
Ádám, A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 93 KB
Your tags:
english, 1970
106
Copi Irving M.. Introduction to logic. Third edition of XIX 147 and XXIX 92. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1968, xiii + 482 pp.
Borgers, Alfons
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1970
107
Davis Martin. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York 1959, 91 pp. + Appendix and errata.
Lightstone, A. H.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
108
Chomsky Noam. Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T. Press, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1969, x + 251 pp.
Ferebee, Ann S.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
109
Beck Lewis White. Can Kant's synthetic judgments be made analytic? Studies in the philosophy of Kant. The Bobbs-Merrill Company, Inc., a subsidiary of Howards W. Sams & Co., Inc., Indianapolis, New York, Kansas City, 1965, pp. 74–91. (Reprinted from Kant-Studien, vol. 47 (1955), pp. 168–181.)
Anderson, Anthony
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 154 KB
Your tags:
english, 1970
110
Algebraic completeness results for R-mingle and its extensions
Michael Dunn, J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 811 KB
Your tags:
english, 1970
111
The number of countable models
Morley, Michael
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 309 KB
Your tags:
english, 1970
112
Turing degrees and many-one degrees of maximal sets
Lerman, Manuel
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 738 KB
Your tags:
english, 1970
113
A theorem on initial segments of degrees
Thomason, S. K.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 262 KB
Your tags:
english, 1970
114
A universal embedding property of the RETs
Nerode, Anil
,
Manaster, Alfred B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 556 KB
Your tags:
english, 1970
115
On theories T categorical in |T|
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 630 KB
Your tags:
english, 1970
116
On the cardinality of ultraproduct of finite sets
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 70 KB
Your tags:
english, 1970
117
Bases and α-dimensions of countable vector spaces with recursive operations
Hamilton, Alan G.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 683 KB
Your tags:
english, 1970
118
An algebraic characterization of indistinguishable cardinals
Slomson, A. B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 417 KB
Your tags:
english, 1970
119
Tense logic for discrete future time
Schindler, Patrick
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 582 KB
Your tags:
english, 1970
120
Miller David. A paradox of information. The British journal for the philosophy of science, vol. 17 no. 1 (1966), pp. 59–61.Popper Karl R.. A comment on Miller's new paradox of information. The British journal for the philosophy of science, vol. 17 no. 1 (1966), pp. 61–69.Popper Karl R.. A paradox of zero information. The British journal for the philosophy of science, vol. 17 no. 2, pp. 141–143.Mackie J. L.. Miller's so-called paradox of information. The British journal for the philosophy of science, vol. 17 no. 2, pp. 144–147.Miller David. On a so-called so-called paradox: a reply to Professor J. L. Mackie. The British journal for the philosophy of science, vol. 17 no. 2, pp. 147–149.Bub Jeffrey and Radner Michael. Miller's paradox of infor
Jeffrey, Richard C.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 360 KB
Your tags:
english, 1970
121
Kyburg Henry E. Jr., Probability and the logic of rational belief. Wesleyan University Press, Middletown, Conn., 1961, x + 350 pp.
Krauss, Peter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1970
122
Kyburg Henry E. Jr., Probability and randomness. Theoria (Lund), vol. 29 (1963), pp. 27–55.
Krauss, Peter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 101 KB
Your tags:
english, 1970
123
Suppes Patrick. Measurement, empirical meaningfulness, and three-valued logic. Measurement: Definitions and theories, edited by West Churchman C. and Ratoosh Philburn, Wiley John & Sons, Inc., New York, and Chapman & Hall, Limited, London 1959, pp. 129–143.Suppes Patrick. Logics appropriate to empirical theories. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Co., Amsterdam 1965, pp. 364–375.
Causey, Robert L.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 278 KB
Your tags:
english, 1970
124
Khatchadourian Haig. Frege on concepts. Theoria (Lund), vol. 22 (1956), pp. 85–100.
Resnik, Michael D.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
125
Martin Richard M.. On acting on a belief. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Moore Edward C. and Robin Richard S., The University of Massachusetts Press, Amherst 1964, pp. 212–225.
Jay Zeman, J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
126
Staal J. F.. Some semantic relations between sentoids. Foundations of language, vol. 3 (1967), pp. 66–88.
Harman, Gilbert H.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 175 KB
Your tags:
english, 1970
127
Stenius Erik. Mood and language-game. Synthese, vol. 17 (1967), pp. 254–274.Føllesdal Dagfinn. Comments on Stenius's ‘Mood and language-game.’ Synthese, vol. 17 (1967), pp. 275–280.Åqvist Lennart. Semantic and pragmatic characterizability of linguistic usage. Synthese, vol. 17 (1967), pp. 281–291.
Vermazen, Bruce
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 193 KB
Your tags:
english, 1970
128
Castañeda Hector-Neri. ‘Ought’ and assumption in moral philosophy. The journal of philosophy, vol. 57 (1960), pp. 791–803.
Bennett, Jonathan
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 196 KB
Your tags:
english, 1970
129
Kripke Saul A.. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 206–220.Routley R. and Montgomery H.. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.
Makinson, David
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 96 KB
Your tags:
english, 1970
130
Makinson D.. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 379–384.
Åqvist, Lennart
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 186 KB
Your tags:
english, 1970
131
Lemmon E. J.. An extension algebra and the modal system T. Notre Dame Journal of formal logic, vol. 1 (1960), pp. 3–12.Lemmon E. J.. Algebraic semantics for modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 46–65; pp. 191–218.
Makinson, David
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 183 KB
Your tags:
english, 1970
132
Cresswell M. J.. Note on a system of Åqvist. The journal of symbolic logic, vol. 32 (1967), pp. 58–60.Rennie M. K.. S3(S) = S3.5. The journal of symbolic logic, vol. 33 (1968), pp. 444–445.
Segerberg, Krister
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 93 KB
Your tags:
english, 1970
133
Rasiowa H. and Sikorski R.. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 (1955), pp. 83–100.
Monk, Donald
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 93 KB
Your tags:
english, 1970
134
Białynicki-Birula A. and Rasiowa H.. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310.
Nelson, David
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 83 KB
Your tags:
english, 1970
135
Ánkov V. A.. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 796–798.Jankov V. A.. Some superconstructive propositional calculi. English translation of the preceding by Walker Sue. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1103–1105.Ánkov V. A.. O réalizuémyh formulah logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1035–1037.Jankov V. A.. Realizable formulas of propositional logic. English translation of the preceding by Mendelson Elliott. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1146–1148.Ánkov V. A.. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 (1963),
Rose, Gene F.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 166 KB
Your tags:
english, 1970
136
Diego Antonio. Sur les algebres de Hilbert. With a preface by Porte Jean. French translation of XXXV 171 by Iturrioz Luisa. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and Nauwelaerts E., Louvain, 1966, viii + 55 pp.
McKay, C. G.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 91 KB
Your tags:
english, 1970
137
Thacher Robinson T.. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.
Chidgey, John R.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1970
138
Schröter Karl. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251.
Barkley Rosser, J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 98 KB
Your tags:
english, 1970
139
Schock Rolf. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 43–58. Errata. Ibid., p. 195.Schock Rolf. On denumerably many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 190–195.Schock R.. Some theorems on the relative strengths of many-valued logics. Logique et analyse, n.s. vol. 8 (1965), pp. 101–104.
Meyer, Robert K.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 271 KB
Your tags:
english, 1970
140
Rose Alan. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185.
Scarpellini, B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 92 KB
Your tags:
english, 1970
141
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 289–292.
Scarpellini, B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 92 KB
Your tags:
english, 1970
142
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294.
Scarpellini, B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 92 KB
Your tags:
english, 1970
143
Mostowski A.. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 (1961), pp. 165–190.
Hay, Louise
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 92 KB
Your tags:
english, 1970
144
Maslov S. Ú., Minc G. É., and Orévkov V. P.. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 (1965), pp. 295–297.Maslov S. Ju., Minc G. E., and Orevkov V. P.. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by Mendelson E.. Soviet mathematics, vol. 6 (1965), pp. 918–920.
Kreisel, Georg
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 187 KB
Your tags:
english, 1970
145
Titani Satoko. An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 72–83.
Takahashi, Moto-o
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1970
146
Sampei Yoemon. On set theoretical operations. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 117–132, and vol. 9 (for 1960, pub. 1961), pp. 39–51. Corrections. Ibid., p. 52.
Krom, M. R.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 94 KB
Your tags:
english, 1970
147
Sampei Yoemon. Note on the effective choice of a point in the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 91–95.
Krom, M. R.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 94 KB
Your tags:
english, 1970
148
Sampei Yoemon. On the uniformization of the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 10 (1962), pp. 57–62.
Krom, M. R.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 94 KB
Your tags:
english, 1970
149
Sampei Yoemon. On the uniformization of a set of class Αρσ. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 67–73.
Krom, M. R.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 179 KB
Your tags:
english, 1970
150
Cogan Edward J.. A formalization of the theory of sets from the point of view of combinatory logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 198–240.Titgemeyer Rainer. Über einen Widerspruch in Cogans Darstellung der Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 161–163.
Seldin, Jonathan P.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 93 KB
Your tags:
english, 1970
151
Bunder Maarten Wicher Visser. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.
Seldin, Jonathan P.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1970
152
Robinson Raphael M.. Binary relations as primitive notions in elementary geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 68–85.
Szczerba, L. W.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1970
153
Robinson A.. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302.
Reinhardt, William N.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 94 KB
Your tags:
english, 1970
154
Pogorzelski H. A.. Nonconcatenative abstract Skolem arithmetics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 11 (1965), S. 89–92, 249–252, 373–376.
Hermes, H.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1970
155
Löb M. H.. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6.Löb M. H.. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75.
Parsons, Charles
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1970
156
Robinson Julia. The undecidability of exponential Diophantine equations. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, pp. 12–13.
Rogers, Hartley
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 98 KB
Your tags:
english, 1970
157
Kalmár L.. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 (1957), pp. 1–5.
Clarke, D. A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 98 KB
Your tags:
english, 1970
158
Fitch Frederic B.. Recursive functions in basic logic. The journal of symbolic logic, vol. 21 (1956), pp. 337–346.
DiPaola, R. A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1970
159
Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62.
Thomason, S. K.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 177 KB
Your tags:
english, 1970
160
Barback Joseph. A note on regressive isols. Notre Dame journal of formal logic, vol. 7 (1966), pp. 203–205.
Hassett, Matthew J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1970
161
Barback Joseph. Double series of isols. Canadian journal of mathematics, vol. 19 (1967), pp. 1–15.
Hassett, Matthew J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1970
162
Barback Joseph. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, vol. 39 (1967), pp. 248–272.
Hassett, Matthew J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1970
163
Barback Joseph. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310.
Hassett, Matthew J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 100 KB
Your tags:
english, 1970
164
Gandy R. O.. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.
Platek, Richard A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1970
165
Fréjvald R.. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom (Complexity of recognition of symmetry on Turing machines with input). Algébra l logika, Séminar, vol. 4 no. 1 (1965), pp. 47–58.Barzdin' Á. M.. Složnost' raspoznavaniá simmétrii na mašinah T'úringa (Complexity of recognition of symmetry on Turing machines). Problémy kibérnětiki, vol. 15 (1965), pp. 245–248.
Mullin, Albert A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 91 KB
Your tags:
english, 1970
166
Andrews Peter B.. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)
Luckham, David
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 172 KB
Your tags:
english, 1970
167
Foxley Eric. Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 302–314.
Rose, A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
168
Foxley Eric. The construction of scale-of-two mechanisms from universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 281–287.
Rose, A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
169
Looms H. H. Jr., and Wyman R. H. Jr., On complete sets of logic primitives. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 173–174.
Enderton, H. B.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1970
170
Harrison Michael A.. The number of transitivity sets of Boolean functions. Journal of the Society for Industrial and Applied Mathematics, t. 11 (1963), p. 806–828.Harrison Michael A.. The number of equivalence classes of Boolean functions under groups containing negation. IEEE transactions on electronic computers, t. EC-12 (1963), p. 559–561.Harrison Michael A.. On the number of classes of(n, k) switching networks. Journal of the Franklin Institute, t. 276 (1963), p. 313–327.Harrison Michael A.. The number of classes of invertible Boolean functions. Journal of the Association for Computing Machinery, t. 10 (1963), p. 25–28.
Kuntzmann, J.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 176 KB
Your tags:
english, 1970
171
Povarov G. N.. O gruppovoj invariantnosti bulévyh funkcij (On the group invariance of Boolean functions). Priménénié logiki v nauké i téhnike (Application of logic in science and technology), Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340.
Ádám, A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1970
172
Allen Layman E.. Toward more clarity in business communication by modern logical methods. Management science, vol. 5 (1958), pp. 121–135.Allen Layman E.. Toward a procedure for logically cataloguing knowledge. American documentation, vol. 10 (1959), pp. 296–315.
Barnes, Robert F.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 279 KB
Your tags:
english, 1970
173
Stallknecht Newton P. and Brumbaugh Robert S.. The spirit of western philosophy. A historical interpretation including selections from the major European philosophers, Longmans, Green and Co., New York, London, and Toronto, 1950, xxiii + 540 pp.
Copi, Irving M.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 99 KB
Your tags:
english, 1970
174
Stallknecht Newton P. and Brumbaugh Robert S.. The compass of philosophy. An essay in intellectual orientation. Longmans, Green and Co., New York, London and Toronto, 1954, xiii + 258 pp.
Copi, Irving M.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 184 KB
Your tags:
english, 1970
175
Rescher Nicholas. Can there be random individuals? Analysis (Oxford), vol. 18 no. 5 (1958), pp. 114–117.Goddard L.. Mr. Rescher on random individuals. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 18–20.Mackie J. L.. The rules of natural deduction. Analysis (Oxford), vol. 18 no. 2 (1958), pp. 27–35.Mackie J. L.. The symbolising of natural deduction. Analysis (Oxford), vol. 20 no. 2 (1959), pp. 25–37.Price Robert. Arbitrary individuals and natural deduction. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 94–96.Rennie M. K.. A correction to Mackie's natural deduction. Logique et analyse, n.s. vol. 10 (1967), pp. 207–210.
Wisdom, William A.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 182 KB
Your tags:
english, 1970
176
Quine Willard Van Orman. Elementary logic. Revised edition of VI 99. Harper Torchbooks, The Science Library, Harper & Row, Publishers, New York, 1965, and Harvard University Press, Cambridge, Mass., 1966, x + 129 pp.
Stanley, Robert L.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 177 KB
Your tags:
english, 1970
177
Meeting of the Association for Symbolic Logic
Hintikka, Jaakko
,
Bouvère, Karel de
,
Levi, Isaac
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 520 KB
Your tags:
english, 1970
178
JSL volume 35 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1970
File:
PDF, 12.45 MB
Your tags:
1970
179
JSL volume 35 issue 1 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 12.15 MB
Your tags:
english, 1970
180
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 617 KB
Your tags:
english, 1970
181
Symposia Information Center
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 77 KB
Your tags:
english, 1970
182
Audio recordings of mathematical lectures
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 77 KB
Your tags:
english, 1970
183
Notice of a meeting of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 77 KB
Your tags:
english, 1970
184
Notice of the Notre Dame Journal of Formal Logic
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 77 KB
Your tags:
english, 1970
185
Notice of a meeting of the Second Scandinavian Logic Symposium
Journal:
Journal of Symbolic Logic
Year:
1970
File:
PDF, 16 KB
Your tags:
1970
186
Robinson Robert W.. Simplicity of recursively enumerable sets. The journal of symbolic logic, vol. 32 (1967), pp. 162–172.Robinson Robert W.. Two theorems on hyperhypersimple sets. Transactions of the American Mathematical Society, vol. 128 (1967), pp. 531–538.Lachlan A. H.. On the lattice of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 130 (1968), pp. 1–37.Lachlan A. H.. The elementary theory of recursively enumerable sets. Duke mathematical journal, vol. 35 (1968), pp. 123–146.
Owings, James C.
Journal:
Journal of Symbolic Logic
Year:
1970
Language:
english
File:
PDF, 271 KB
Your tags:
english, 1970
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×