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 33; Issue 4
Main
Journal of Symbolic Logic
Volume 33; Issue 4
Journal of Symbolic Logic
Volume 33; Issue 4
1
Analytic Cut
Raymond M. Smullyan
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 437 KB
Your tags:
english, 1968
2
Something on `Pragmatic Implication' and Similar Conceptsby Lars Bergström
Review by: Dagfinn Føllesdal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 322 KB
Your tags:
english, 1968
3
Escapism: The Logical Basis of Ethicsby P. H. Nowell-Smith; E. J. Lemmon
Review by: Layman E. Allen
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 355 KB
Your tags:
english, 1968
4
Minds, Machines and Gödelby J. R. Lucas;God, the Devil, and Gödel.by Paul Benacerraf
Review by: George S. Boolos
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 458 KB
Your tags:
english, 1968
5
Prime Dual Ideals in Boolean Algebrasby L. J. Heider
Review by: Robert LaGrange
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 197 KB
Your tags:
english, 1968
6
Simulatability of Finite Automata by Schepherdson and Sturgis' Machinesby Seiiti Huzino;On the Simulation of Real-Time Turing Machines by a Modified Schepherdson-Sturgis' Machineby Seiiti Huzino
Review by: Günter Asser
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 322 KB
Your tags:
english, 1968
7
On a Class of Regular Eventsby O. P. Kuznécov
Review by: Arto Salomaa
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1968
8
Some Undecidable Problems Involving Elementary Functions of a Real Variable
Daniel Richardson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 579 KB
Your tags:
english, 1968
9
Uniformly Introreducible Sets
Carl G. Jockusch, Jr.
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.39 MB
Your tags:
english, 1968
10
Topological Logic
Nicholas Rescher and James Garson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 967 KB
Your tags:
english, 1968
11
Uniform Gentzen Systems
Raymond M. Smullyan
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 830 KB
Your tags:
english, 1968
12
An Unsolved Problem in the Theory of Constructive Order Types
Alan G. Hamilton
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 285 KB
Your tags:
english, 1968
13
Remarks on Some Theorems of Keisler
Per Lindström
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 460 KB
Your tags:
english, 1968
14
The Language of Logicby Hans Freudenthal
Review by: G. T. Kneebone
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1968
15
A Modern Introduction to Indian Logicby S. S. Barlingay
Review by: J. F. Staal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1968
16
Probleme und Methoden der Beweistheorieby Kurt Schütte
Review by: Paul Bernays
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 332 KB
Your tags:
english, 1968
17
Los Universos del Discurso y Los Sistemas Correspondientesby Gerold Stahl
Review by: Thomas M. Simpson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1968
18
Concerning constructive Logic and the Concept of Implicationby Dag Prawitz
Review by: Dagfinn Føllesdal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1968
19
Definitions of the Concept Vyāpti According to Gaṅgesa.by Jan Berg
Review by: Dagfinn Føllesdal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1968
20
Three Axiom Negation-Alternation Formulations of the Truth-Functional Calculusby George Goe
Review by: Robert Blanché
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1968
21
A Property of Propositional Formulasby M. M. Kipnis; S. Walker
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1968
22
On a Sufficient Condition for Completeness in Pkby É. Ú. Zaharova
Review by: Ivo Rosenberg
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1968
23
Criteria of Completeness for Systems of Functions from Pkby É. Ú. Zaharova
Review by: Ivo Rosenberg
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1968
24
On Logics Intermediate Between Intuitionistic and Classical Predicate Logicby Toshio Umezawa
Review by: A. S. Troelstra
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1968
25
On Intermediate Propositional Logicsby A. S. Troelstra
Review by: Toshio Umezawa
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1968
26
A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logicby M. Hanazaw
Review by: Toshio Umezawa
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1968
27
Tautological Entailmentsby Alan Ross Anderson; Nuel D. Belnap,
Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1968
28
Escapism: The Logical Basis of Ethicsby A. N. Prior; A. I. Melden
Review by: Layman E. Allen
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 366 KB
Your tags:
english, 1968
29
Obligation and Modal Logicby H. N. Castaneda
Review by: Layman E. Allen
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1968
30
Questions and Universalsby Thomas S. Knight
Review by: Gerold Stahl
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 349 KB
Your tags:
english, 1968
31
Mr. Bradley on the Futureby R. Montague
Review by: Ronald J. Butler
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 226 KB
Your tags:
english, 1968
32
De la Logique a la Theologie. Cinq Etudes sur Aristote
Review by: Wilfrid Hodges
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1968
33
On Sentences Verifiable by Their Useby E. J. Lemmon;Cogito, Ergo Sum: Inference or Performance?by Jaakko Hintikka
Review by: James Cargile
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1968
34
Kant's Doctrine of Mathematics: Studies of its Basic Concept, its Structure, and its Sourcesby Jaakko Hintikka
Review by: Raili Kauppi
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 429 KB
Your tags:
english, 1968
35
The Foundations of Mathematics. A Study in the Philosophy of Scienceby Evert W. Beth
Review by: Ann S. Ferebe
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1968
36
Methodical Thinkingby P. Lorenzen
Review by: Hans Hermes
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 206 KB
Your tags:
english, 1968
37
A Decidable Fragment of Recursive Arithmeticby R. L. Goodstein
Review by: V. Vuckovic
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1968
38
A Decidable Class of Equations in Recursive Arithmeticby R. L. Goodstein; R. D. Lee
Review by: V. Vuckovic
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1968
39
Non-linear Combinatorial Functions of Isolsby A. Nerode
Review by: Carl Bredlau
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1968
40
Diphantine Correct non-Standard Models in the Isolsby Anil Nerode
Review by: Carl Bredlau
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1968
41
Recursive Function Theoryby John Myhill
Review by: Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 344 KB
Your tags:
english, 1968
42
Combinatorial Series and Recursive Equivalence Typesby A Nerode
Review by: A. B. Manaster
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 339 KB
Your tags:
english, 1968
43
On Properties of Regressive Setsby K. I. Appel; T. G. McLaughlin
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1968
44
No Recursively Enumerable Set is the Union of Finitely Many Immune Retraceable Setsby K. I. Appel
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1968
45
There Exist two Regressive Sets Whose Intersection is Not Regressiveby K. I. Appel
Review by: F. J. Sansone
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1968
46
Metarecursive Setsby G. Kreisel; Gerald E. Sacks
Review by: Richard A. Platek
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1968
47
Degrees of Modelsby J. R. Shoenfield
Review by: Solomon Feferman
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1968
48
On Post's Canonical Systemsby Raymond M. Smullyan
Review by: Ann Yasuhara
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1968
49
On the Novikov Groupsby L. A. Bokut
Review by: Donald Collins
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 312 KB
Your tags:
english, 1968
50
Remarks on the Field Representations of Boolean Algebrasby Ph. Dwinger
Review by: Robert LaGrange
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1968
51
On the Completeness of the Quotient Algebras of a Complete Boolean Algebra Iby Ph. Dwinger
Review by: Alfred W. Hales
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1968
52
A Note on the Completeness of Factor Algebras of α-Complete Boolean Algebrasby Ph. Dwinger
Review by: Alfred W. Hales
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1968
53
Algebraic Formulations of Propositional Calculiby Kiyoshi Iséki;Axiom Systems of B-Algebraby Kiyoshi Iseki;A Characterization of Boolean Algebraby Kiyoshi Iseki;Axiom Systems of B-Algebra. IIby Yoshinari Arai; Kiyoshi Iseki
Review by: Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 316 KB
Your tags:
english, 1968
54
The Lattice Theory of Post Algebrasby George Epstein
Review by: Tadeusz Traczyk
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1968
55
Notes on Post Algebrasby Ph. Dwinger
Review by: Tadeusz Traczyk
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1968
56
The Mathematics of Sentence Structureby Joachim Lambek;Contributions to a Mathematical Analysis of the English Verb-Phraseby Joachim Lambek;Structure of languages and its Mathematical Aspectsby Joachim Lambek
Review by: Eliahu Shamir
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1968
57
Some Problems of Synthesis of Digital Automataby V. M. Gluškov;On an Algorithm of Synthesis of Abstract Automataby V. M. Gluskov
Review by: Arto Salomaa
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1968
58
On Various Concepts, of Minimality for Disjunctive Normal Formsby Ú. I. Žuravlév
Review by: Andrzej Rowicki
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1968
59
Algorithms with Finite Memory on Disjunctive Normal Formsby Ú. I. Žuravlév
Review by: Andrzej Rowicki
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1968
60
Computational aids for Determining the Minimal Form of a Truth Functionby Ronald Prather
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1968
61
An Approach to Multilevel Boolean Minimizationby Eugene L. Lawler
Review by: A. K. Choudhury
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 311 KB
Your tags:
english, 1968
62
Introduction to the Theory of Switching Circuitsby E. J. McCluskey
Review by: Thomas H. Mott, Jr.
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1968
63
Introduction to Logic and Setsby Robert R. Christian
Review by: Alfons Borger
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1968
64
Advanced Calculusby Lynn H. Loomis; Shlomo Sternberg
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1968
65
On Transfinite Argumentsby Setsuya Seki
Review by: Mariko Yasugi
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1968
66
A Note on the Generalized Continuum Hypothesisby Boleslaw Sobociński
Review by: Leslie H. Tharp
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1968
67
Die Hohen Unendlichkeiten und die Axiomatik der Mengenlehreby P. Bernays
Review by: J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1968
68
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 422 KB
Your tags:
english, 1968
69
Annual Meeting of the Association for Symbolic Logic
Burton Dreben and James Thomson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1004 KB
Your tags:
english, 1968
70
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 3.35 MB
Your tags:
english, 1968
71
Degrees of Unsolvability of Constructible Sets of Integers
George Boolos and Hilary Putnam
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.63 MB
Your tags:
english, 1968
72
The Inadequacy of Kripke's Semantical Analysis of D2 and D3
R. Routley and H. Montgomery
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1968
73
A Notion of Effectiveness in Arbitrary Structures
W. M. Lambert, Jr.
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 2.58 MB
Your tags:
english, 1968
74
Replacement in Some Modal Systems
Ivo Thomas
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 235 KB
Your tags:
english, 1968
75
On α-homomorphic Images of α-Rings of Setsby A. Horn
Review by: Philip Dwinger
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 227 KB
Your tags:
english, 1968
76
Categorizing Automata by W-machine Programsby C. Y. Lee;On a Proof of Schepherdson's Theoremby Seiiti Huzino; Mariko Yoneyama
Review by: Günter Asser
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 234 KB
Your tags:
english, 1968
77
Non-Deductive Rules of Inference and Problems in the Analysis of Inductive Reasoningby Nicholas Rescher
Review by: Richard C. Jeffrey
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 256 KB
Your tags:
english, 1968
78
Some Problems of the Ackermann Calculusby L. L. Maksimova; A. Yablonsky
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 488 KB
Your tags:
english, 1968
79
On the Question of the Rise of Quantification Theoryby Claes-Göran Holm
Review by: Dagfinn Føllesdal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 235 KB
Your tags:
english, 1968
80
JSL volume 33 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.83 MB
Your tags:
english, 1969
81
JSL volume 33 issue 4 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1969
File:
PDF, 852 KB
Your tags:
1969
82
Errata
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 29 KB
Your tags:
english, 1969
83
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1969
84
Association for symbolic logic
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 2.32 MB
Your tags:
english, 1969
85
Announcing Studies in the Philosophy of Logic
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 2.37 MB
Your tags:
english, 1969
86
Regional conferences in mathematics
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 116 KB
Your tags:
english, 1969
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
×
×