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
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 33; Issue 2
Main
Journal of Symbolic Logic
Volume 33; Issue 2
Journal of Symbolic Logic
Volume 33; Issue 2
1
Der Gruppencharakter der Transformationen der Dyadischen Aussage-Verknupfungeby Karl Dohmann
Review by: Robert Blanche
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 196 KB
Your tags:
1968
2
On Meyer and Lambert's Quantificational Calculus FQ
Hugues LeBlanc
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 486 KB
Your tags:
english, 1968
3
Periodicity of Post's Normal Process of Tagby Shigeru Watanabe
Review by: Mary Katherine Yntema
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1968
4
Subformula Theorems for N-Sequents
Hugues LeBlanc
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.21 MB
Your tags:
english, 1968
5
On Simplifying the Matrix of a WFF
Peter Andrews
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.08 MB
Your tags:
english, 1968
6
Infinite Products of Recursive Equivalence Types
Don C. Ferguson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 774 KB
Your tags:
english, 1968
7
A Simplified Account of Validity and Implication for Quantificational Logic
Hugues LeBlanc
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 517 KB
Your tags:
english, 1968
8
Nonstandard Logic
James R. Geiser
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 1968
9
On the Craig-Lyndon Interpolation Theorem
Arnold Oberschelp
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 378 KB
Your tags:
english, 1968
10
Funktion, Begriff, Bedeutung, Fünf logische Studienby Günther Patzig
Review by: I. Angelelli
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 310 KB
Your tags:
english, 1968
11
Einleitung. Logische Untersuchungenby Günther Patzig;Der Gedanke. Eine Logische Untersuchungby Gottlob Frege;Die Verneinung. Eine Logische Untersuchungby Gottlob Frege;Logische Untersuchungen. Dritter Teil: Gedankengefügeby Gottlob Frege;Kritische Beleuchtung Einiger Punkte in E. Schröders Vorlesungen Uber die Algebra der Logik.by Gottlob Frege;Über die Zahlen des Herrn H. Schubert.by Gottlob Frege;Literatur zu Fregeby Günther Patzig
Review by: I. Angelelli
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 453 KB
Your tags:
english, 1968
12
Variable, Function, Derivative. A Semantic Study in Mathematics and Economicsby Harald Dickson
Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1968
13
Algebraic Models of Axiomatic Theoriesby H. Rasiowa;Constructive Theoriesby H. Rasiowa
Review by: Kurt Schütte
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 323 KB
Your tags:
1968
14
A Proof of ε-Theoremsby H. Rasiowa;On the ε-Theoremsby H. Rasiowa
Review by: Kurt Schütte
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1968
15
Omitting Classes of Elementsby Michael Morley
Review by: E. G. K. Lopez-Escobar
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 320 KB
Your tags:
english, 1968
16
Unions of Relational Systemsby H. Jerome Keisler;On Unions of Denumerable Modelsby Jan Mycielski
Review by: Martin Helling
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1968
17
On the Elementary Theory of Linear Orderby H. Läuchli; J. Leonard
Review by: Julia Robinson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1968
18
Foundational aspects of Theories of Measurementby Dana Scott; Patrick Suppes
Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1968
19
A Counterexample to a Conjecture of Scott and Suppesby W. W. Tait
Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1968
20
A Symmetric Primitive notion for Euclidean Geometryby Dana Scott
Review by: L. W. Szczerba
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1968
21
Equilaterality as the Only Primitive Notion of Euclidean Geometryby Evert W. Beth; Alfred Tarski
Review by: L. W. Szczerba
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1968
22
A General Theorem Concerning Primitive Notions of Euclidean Geometryby Alfred Tarski
Review by: L. W. Szczerba
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1968
23
Notes Towards an Axiomatization of Intuitionistic Logicby John Myhill
Review by: R. E. Vesley
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1968
24
Introduction to Metamathematicsby Stephen Cole Kleene
Review by: Ann Singleterry Ferebee
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1968
25
An Extension of the Craig-Schütte Interpolation Theorem.by Takashi Nagashima
Review by: A. S. Troelstra
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1968
26
Algèbre des Ensembles.by Waclaw Sierpiński
Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1968
27
A Proof of the Independence of the Continuum Hypothesisby Dana Scott
Review by: J. W. Robbin
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1968
28
On Hierarchies of Predicates of ordinal Numbersby Gaisi Takeuti; Akiko Kino
Review by: Wayne Richter
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1968
29
A Note on Constructive Ordinalsby Akiko Kino
Review by: Wayne Richter
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 321 KB
Your tags:
english, 1968
30
On Recursive Sievesby V. Amstislavskij
Review by: Janusz Onyszkiewicz
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1968
31
Constructive Definition of Certain Analytic Sets of Numbersby P. Lorenzen; J. Myhill
Review by: A. Nerode
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1968
32
Higher-Order Indecomposable Isolsby Alfred B. Manaster
Review by: Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1968
33
Stépéni Nérazréšimosti Problémy Toždéstva v Konéčno Oprédélénnyh Gruppah.by A. A. Friedman;Degrees of Insolvability of the Word Problem in Finitely Defined Groupby A. A. Fridman; Sue Ann Walker;Finitely presented Groups with Word Problems of Arbitrary Degrees of Insolubilityby C. R. J. Clapham;Finitely Presented Group Whose Word Problem has the Same Degree as that of an Arbitrarily Given Thue System (An Application of Methods of Britton)by William W. Boone;Word problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systemsby William W. Boone;Word Problems and Recursively Enumerable Degrees of Unsolvability. A Sequel on Finitely Presented Groupsby William W. Boone
Review by: J. C. Shepherdson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1968
34
Unsolvable Problems: A Reviewby Martin Davis
Review by: Mary Katherine Yntema
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 332 KB
Your tags:
english, 1968
35
Predictably Computable Functionals and Definition by Recursionby D. L. Kreider; R. W. Ritchie
Review by: Paul Axt
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1968
36
The Mathematical Theory of Context Free Languagesby Seymour Ginsburg
Review by: Andrzej Blikle
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 336 KB
Your tags:
english, 1968
37
Ambiguity in Context Free Languagesby Seymour Ginsburg; Joseph Ullian;Preservation of Unambiguity and Inherent Ambiguity in Context-Freeby Seymour Ginsburg; Joseph Ullian;The Independence of Inherent Ambiguity from Complementednes Among Context-Free Languagesby Thomas N. Hibbard; Joseph Ullian
Review by: D. Terence Langendoen
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1968
38
Deterministic Context Free Languagesby Seymour Ginsburg; Sheila Greibach
Review by: Richard Stanley
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1968
39
A Note on Pushdown Store Automata and Regular Systemsby Sheila A. Greibach
Review by: Richard Stanley
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1968
40
Computer Simulation of the Process of Solving Complex Logical Problemsby A. L. Chernyavskii
Review by: D. C. Cooper
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1968
41
On the Determination of the ps Maximal Implicants of a Switching Functionby Angelo R. Meo
Review by: A. K. Choudhury
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1968
42
Applied Boolean Algebra. An Elementary Introductionby Franz E. Hohn
Review by: J. Kuntzmann
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 208 KB
Your tags:
1968
43
Postulates for Boolean Algebrasby Marlow Sholander
Review by: Ann Singleterry Ferebee
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 195 KB
Your tags:
1968
44
Einführung in die Mathematische Logik.by G. Asser
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 196 KB
Your tags:
1968
45
Functors of the Propositional Calculusby Henryk Greniewski;Certain Motions of the Theory of Numbers as Applied to the Propositional Calculusby Henryk Greniewski;Groups and Fields Definable in the Propositional Calculusby Henryk Greniewski;Arithmetics of Natural Numbers as part of the Bi-Valued Propositional Calculusby H. Greniewski
Review by: G. T. Kneebone
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 320 KB
Your tags:
1968
46
The Implicational Fragment of Dummett's LCby R. A. Bull
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1968
47
Finite Limitations on Dummett's LCby Ivo Thomas
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1968
48
On the Infinity of Positive Logicby Ivo Thomas
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1968
49
Some Results for Implicational Calculiby R. A. Bull
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1968
50
Postulates for Implicational Calculiby C. A. Meredith
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1968
51
Notes on the Axiomatics of the Propositional Calculusby C. A. Meredith; A. N. Prior
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 307 KB
Your tags:
english, 1968
52
A Theorem Concerning the Composition of Functions of Several Variables Ranging over a Finite Setby Arto Salomaa;On Basic Groups for the set of Functions over a Finite Domainby Arto Salomaa
Review by: Ivo Rosenberg
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1968
53
Boolean Elements in Lukasiewicz Algebras. Iby Roberto Cignoli
Review by: Eugen Mihăilescu
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 311 KB
Your tags:
english, 1968
54
Boolean Elements in Lukasiewicz Algebras. IIby Roberto Cignoli; Antonio Monteiro
Review by: Eugen Mihăilescu
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 203 KB
Your tags:
1968
55
Sur les Algèbres de Lukasiewicz Infectives.by Luiz Monteiro
Review by: Eugen Mihăilescu
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 203 KB
Your tags:
1968
56
Pure Denumerable Lukasiewiczian Implicationby R. K. Meyer
Review by: A. Rose
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 203 KB
Your tags:
1968
57
A Method for Constructing Implication Logicsby Atwell R. Turquette
Review by: Storrs McCall
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 331 KB
Your tags:
1968
58
Systems Classically Axiomatized and Properly Contained in Lewis's S3by John Thomas Canty
Review by: R. A. Bull
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1968
59
Some Modal Logics Based on a Three-Valued Logicby Krister Segerberg
Review by: R. A. Bull
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 332 KB
Your tags:
english, 1968
60
Questionsby Sylvain Bromberger;Question Generatorsby David Harrah;Questions, Answers, and Presuppositionsby Nuel D. Belnap,
Review by: M. J. Cresswell
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1968
61
The Problem of Contrary-to-fact Conditionalsby John Watling;Contrary-to-fact Conditionals and Logical Impossibilityby Alan R. White;On Verifying Contrary-to-fact Subjunctive Conditionalsby Sidney Gendin; Robert Hoffman;Counterfactuals and Subjunctive Conditionalsby M. R. Ayers
Review by: Hans Freudenthal
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1968
62
Theorie des Propositions Normatives
Review by: Hector-Neri Castaneda
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1968
63
Logica Matematica e Logica Giuridicaby Virgilio Giorgianni
Review by: Hector-Neri Castaneda
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1968
64
The Logic of Religionby Joseph M. Bochenski
Review by: Wilfrid Hodges
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1968
65
Dispositional Statementsby Arthur W. Burks
Review by: Jan Berg
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 313 KB
Your tags:
english, 1968
66
The Presupposition Theory of Inductionby Arthur W. Burks;On the Presuppositions of Inductionby Arthur W. Burks
Review by: Jan Berg
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 425 KB
Your tags:
english, 1968
67
On Reductionby John G. Kemeny; Paul Oppenheim
Review by: J. W. Swanson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 314 KB
Your tags:
english, 1968
68
Signification and Significance. A Study of the Relation of Signs and Valuesby Charles Morris
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1968
69
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1968
70
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 127 KB
Your tags:
english, 1968
71
A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logicby W. W. Tait
Review by: Moto-o Takashaih
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 321 KB
Your tags:
english, 1968
72
Systems of Predicative Analysis, II: Representations of Ordinals
Solomon Feferman
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 2.47 MB
Your tags:
english, 1968
73
The Consistency of Leśniewski's Mereology Relative to the Real Number System
Robert E. Clay
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 473 KB
Your tags:
english, 1968
74
On Zermelo's Set-Theory and the Simple Type-Theory with the Axiom of Infinityby Tadahiro Uesu
Review by: Bede Rundle
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 357 KB
Your tags:
english, 1968
75
A Propositional Calculus with Denumerable Matrixby Michael Dummett
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 237 KB
Your tags:
english, 1968
76
Independence of Two Nice Sets of Axioms for the Propositional Calculus
T. Thacher Robinson
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 451 KB
Your tags:
english, 1968
77
Europäische Philosophie der Gegenwart.by I. M. Bocheński;Europaische Philosophie der Gegenwartby I. M. Bochenski;La Philosophie Contemporaine en Europeby I. M. Bochenski;Contemporary European Philosophyby I. M. Bochenski; Donald Nicholl; Karl Aschenbrenner
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 228 KB
Your tags:
english, 1968
78
Introduction to the Formal Analysis of Natural Languagesby Noam Chomsky; George A. Miller;Formal properties of Grammarsby Noam Chomsky;Finitary Models of Language Usersby George A. Miller; Noam Chomsky
Review by: Joseph S. Ullian
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 367 KB
Your tags:
english, 1968
79
The Decidability of Certain Intermediate Propositional Logics
C. G. McKay
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 717 KB
Your tags:
english, 1968
80
JSL volume 33 issue 2 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.83 MB
Your tags:
english, 1968
81
JSL volume 33 issue 2 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 872 KB
Your tags:
1968
82
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1968
83
Errata
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 29 KB
Your tags:
english, 1968
84
Analisi Critica del recente Indirizzo di Logica Formale del Carnapby Ludovico Geymonat
Review by: J. Van Heijenoort
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 271 KB
Your tags:
english, 1968
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
×
×