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 61; Issue 1
Main
Journal of Symbolic Logic
Volume 61; Issue 1
Journal of Symbolic Logic
Volume 61; Issue 1
1
Omitting Types in Incomplete Theories
Enrique Casanovas and Rafel Farré
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1996
2
Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic
Alberto Zanardo
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 747 KB
Your tags:
english, 1996
3
Possible PCF Algebras
Thomas Jech and Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 154 KB
Your tags:
english, 1996
4
Ad and Patterns of Singular Cardinals Below Θ
Arthur W. Apter
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 278 KB
Your tags:
english, 1996
5
The Expressive Power of Fixed-Point Logic with Counting
Martin Otto
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 585 KB
Your tags:
english, 1996
6
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 101 KB
Your tags:
english, 1996
7
Anderson Alan Ross, Belnap Nuel D. Jr., and Dunn J. Michael. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford 1992, xxvii + 749 pp.
Maksimova, Larisa
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 499 KB
Your tags:
english, 1996
8
Monotone inductive definitions in explicit mathematics
Rathjen, Michael
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.17 MB
Your tags:
english, 1996
9
The Proofs of α → α in P - W
Sachio Hirokawa
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 994 KB
Your tags:
english, 1996
10
Smullyan Raymond M.. First-order logic. Corrected republication of XL 237. Dover Publications, New York 1995, xii + 158 pp.
Avigad, Jeremy
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 255 KB
Your tags:
english, 1996
11
Variations of the Martin-Solovay tree
Hjorth, Greg
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 826 KB
Your tags:
english, 1996
12
Shin Sun-Joo. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), xi + 197 pp.
Hammer, Eric M.
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1996
13
Adding one random real
Bartoszyński, Tomek
,
Rosłanowski, Andrzej
,
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 633 KB
Your tags:
english, 1996
14
An Addition to Rosser's Theorem
Henryk Kotlarski
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 583 KB
Your tags:
english, 1996
15
Kanamori Akihiro. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp.
Levy, Azriel
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 336 KB
Your tags:
english, 1996
16
Existentially closed models via constructible sets: There are 2 ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups
Khelif, Anatole
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 648 KB
Your tags:
english, 1996
17
Girard Jean-Yves. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101.Troelstra A. S.. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.
Jervell, Herman Ruge
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1996
18
Mathias absoluteness and the Ramsey property
Halbeisen, Lorenz
,
Judah, Haim
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 1996
19
Countable unions of simple sets in the core model
Welch, P. D.
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.18 MB
Your tags:
english, 1996
20
Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp.
Pelletier, Francis Jeffry
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 607 KB
Your tags:
english, 1996
21
Gamut L. T. F. (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern 1982, 351 pp.Gamut L. T. F. (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern 1982, 422 pp.Paris J. B. The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), x + 212 pp.
Kyburg, Henry E.
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 342 KB
Your tags:
english, 1996
22
JSL volume 61 issue 1 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 6.69 MB
Your tags:
english, 1996
23
Self-commuting quantifiers
Westerståhl, Dag
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.95 MB
Your tags:
english, 1996
24
JSL volume 61 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 6.54 MB
Your tags:
english, 1996
25
Bimodal logics for extensions of arithmetical theories
Beklemishev, Lev D.
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.81 MB
Your tags:
english, 1996
26
On atomic or saturated sets
Newelski, Ludomir
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.11 MB
Your tags:
english, 1996
27
Asymptotic conditional probabilities: The non-unary case
Grove, Adam J.
,
Halpern, Joseph Y.
,
Koller, Daphne
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 1.94 MB
Your tags:
english, 1996
28
Gamut L. T. F. (pseudonym). Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica. The University of Chicago Press, Chicago and London 1991, xiv + 282 pp.Gamut L. T. F. (pseudonym). Logic, language, and meaning. Volume II. Intensional logic and logical grammar. English translation of Logica, taal en betekenis, Volume II, Intensionele logica en logische grammatica. The University of Chicago Press, Chicago and London 1991, xvi + 349 pp.
Link, Godehard
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 174 KB
Your tags:
english, 1996
29
Two Remarks on the Lifschitz Realizability Topos
Jaap van Oosten
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 257 KB
Your tags:
english, 1996
30
Lebesque Measure Zero Subsets of the Real Line and an Infinite Game
Marion Scheepers
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 147 KB
Your tags:
english, 1996
31
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 131 KB
Your tags:
english, 1996
32
How to Characterize Provably Total Functions by Local Predicativity
Andreas Weiermann
Journal:
Journal of Symbolic Logic
Year:
1996
Language:
english
File:
PDF, 416 KB
Your tags:
english, 1996
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
×
×