Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 57; Issue 4

Main
Journal of Symbolic Logic
Volume 57; Issue 4

Journal of Symbolic Logic

Volume 57; Issue 4

1

Canonical Formulas for K4. Part I: Basic Results

Michael Zakharyaschev

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.73 MB

english, 1992

2

Relation Algebras of Every Dimension

Roger D. Maddux

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1992

3

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 203 KB

english, 1992

4

On the Schur-Zassenhaus Theorem for Groups of Finite Morley Rank

Alexandre V. Borovik and Ali Nesin

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 754 KB

english, 1992

5

Errata

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 143 KB

english, 1992

6

Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization

Ulrich Kohlenbach

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 2.01 MB

english, 1992

7

Forcing Disabled

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.64 MB

english, 1992

8

Singular σ-Dense Trees

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1992

9

The Continuum and First-Order Intuitionistic Logic

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 583 KB

english, 1992

10

Avron Arnon. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 (1990), pp. 707–732.Avron Arnon. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 (1990), pp. 169–202.Avron Arnon. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 (1991), pp. 147–160.

Urquhart, Alasdair

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 341 KB

english, 1992

11

Stratified languages

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 809 KB

english, 1992

12

JSL volume 57 issue 4 Cover and Back matter and Errata

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 9.22 MB

english, 1992

13

Wolfram Sybil Philosophical logic. An introduction. Routledge, London and New York 1989, xiv + 290 pp.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 432 KB

english, 1992

14

Annual Meeting of the Australasian Association for Logic

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 416 KB

english, 1992

15

Perspectives on the history of mathematical logic, edited by Drucker Thomas, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp.Dawson John W. Jr. The reception of Gödel's incompleteness theorems. Pp. 84–100. (Reprinted from PSA 1984, Proceedings of the 1984 biennial meeting of the Philosophy of Science Association, volume two, edited by Peter D. Asquith and Philip Kitcher, Philosophy of Science Association, East Lansing, Mich., 1985, pp. 253–271.)

Shapiro, Stewart

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 438 KB

english, 1992

16

Logic and combinatorics, Proceedings of the AMS-IMS-SIAM joint summer research conference held August 4–10, 1985, edited by Simpson Stephen, Contemporary mathematics, vol. 65, American Mathematical Society, Providence 1987, xi + 394 pp.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 743 KB

english, 1992

17

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 2.72 MB

english, 1992

18

On Boolean Algebras and Integrally Closed Commutative Regular Rings

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 958 KB

english, 1992

19

Gärdenfors Peter. Knowledge in flux. Modeling the dynamics of epistemic states. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xi + 262 pp.Alchourrón Carlos E., Gärdenfors Peter, and Makinson David. On the logic of theory change: partial meet contraction and revision functions. The journal of symbolic logic, vol. 50 (1985), pp. 510–530.

Fuhrmann, André

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 421 KB

english, 1992

20

JSL volume 57 issue 4 Cover and Back matter and Errata

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 9.55 MB

english, 1992

21

The McKinsey axiom is not compact

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 637 KB

english, 1992

22

Feferman Solomon. Foundational ways. Perspectives in mathematics, Anniversary of Oberwolfach 1984, edited by Jäger W., Moser J., and Remmert R., Birkhäuser Verlag, Basel, Boston, and Stuttgart, 1984, pp. 147–158.Fefeŕman Solomon. Working foundations. Synthese, vol. 62 (1985), pp. 229–254.

Chiara, Maria Luisa Dalla

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 320 KB

english, 1992

23

Ramsey sets, the Ramsey ideal, and other classes over R

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.78 MB

english, 1992

24

Shearman A. T.. The development of symbolic logic. A critical-historical study of the logical calculus. A reprint of 1413. Thoemmes, Bristol 1990, xi + 242 pp.

Dipert, Randall R.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 427 KB

english, 1992

25

Notices

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 312 KB

english, 1992

26

There is no sharp transitivity on q 6 when q is a type of Morley rank 2

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1992

27

Extending the Curry-Howard interpretation to linear, relevant and other resource logics

Gabbay, Dov M., de Queiroz, Ruy J. G. B.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 2.68 MB

english, 1992

28

Relational proof system for relevant logics

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 932 KB

english, 1992

29

Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Mathematiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1969, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Second edition of the preceding. Mathématiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1972, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle II. Logique des propositions et des prédicats, tables de vérité et axiomatisation. Mathématiques et sciences de l'homme, no. 14. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1971, 79 pp.Grize Jean-Blaise

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 336 KB

english, 1992

30

Nonmonotonic consequence based on intuitionistic logic

Servi, Gisèle Fischer

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1992

31

Carson Andrew B.. Model completions, ring representations and the topology of the Pierce sheaf. Pitman research notes in mathematics, no. 209. Longman Scientific and Technical, Harlow, Essex, and John Wiley & Sons, New York, 1989, vi + 107 pp.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 251 KB

english, 1992

32

Ko Ker-I. Complexity theory of real functions. Progress in theoretical computeer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 309 pp.

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 405 KB

english, 1992

33

Back Matter

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 229 KB

english, 1992

34

Notices

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 320 KB

english, 1992

35

Volume Information

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 439 KB

english, 1992

36

Logic and Linguistics Meeting: Santa Cruz, 1991

Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle and Richmond Thomason

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 229 KB

english, 1992

37

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 3.45 MB

english, 1992

38

Logic and Linguistics Meeting

Barwise, Jon, Ladusaw, William, ter Meulen, Alice, Oehrle, Richard, Thomason, Richmond

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 88 KB

english, 1992

39

Independence, Randomness and the Axiom of Choice

Michiel van Lambalgen

Journal:

Journal of Symbolic Logic

Année:

1992

Langue:

english

Fichier:

PDF, 2.71 MB

english, 1992