13629 results in The Journal of Symbolic Logic
Relational proof system for relevant logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1425-1440
- Print publication:
- December 1992
-
- Article
- Export citation
Singular σ-dense trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1403-1416
- Print publication:
- December 1992
-
- Article
- Export citation
The continuum and first-order intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1417-1424
- Print publication:
- December 1992
-
- Article
- Export citation
Andrew B. Carson. 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:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, p. 1489
- Print publication:
- December 1992
-
- Article
- Export citation
On Boolean algebras and integrally closed commutative regular rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1305-1318
- Print publication:
- December 1992
-
- Article
- Export citation
Sybil Wolfram Philosophical logic. An introduction. Routledge, London and New York1989, xiv + 290 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1482-1484
- Print publication:
- December 1992
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1504-1542
- Print publication:
- December 1992
-
- Article
- Export citation
Perspectives on the history of mathematical logic, edited by Thomas Drucker, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp. - John W. Dawson 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.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1489
- Print publication:
- December 1992
-
- Article
- Export citation
A. T. Shearman. The development of symbolic logic. A critical-historical study of the logical calculus. A reprint of 1413. Thoemmes, Bristol1990, xi + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1485-1487
- Print publication:
- December 1992
-
- Article
- Export citation
JSL volume 57 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1992
-
- Article
-
- You have access
- Export citation
The McKinsey axiom is not compact
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1230-1238
- Print publication:
- December 1992
-
- Article
- Export citation
Relation algebras of every dimension
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1213-1229
- Print publication:
- December 1992
-
- Article
- Export citation
Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 (1990), pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 (1990), pp. 169–202. - Arnon Avron. 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1482
- Print publication:
- December 1992
-
- Article
- Export citation
JSL volume 57 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1992
-
- Article
-
- You have access
- Export citation
On the Schur-Zassenhaus theorem for groups of finite Morley rank
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1469-1477
- Print publication:
- December 1992
-
- Article
- Export citation
Ramsey sets, the Ramsey ideal, and other classes over R
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1468
- Print publication:
- December 1992
-
- Article
- Export citation
Jean-Blaise Grize. 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. - Jean-Blaise Grize. 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. - Jean-Blaise Grize. 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. - Jean-Blaise Grize. Logique moderne. Fascicle III. Implications, modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski. Mathématiques et sciences de l'homme, no. 22. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1973, 104 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1485
- Print publication:
- December 1992
-
- Article
- Export citation
Logic and Linguistics Meeting
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1498-1499
- Print publication:
- December 1992
-
- Article
- Export citation
Nonmonotonic consequence based on intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1176-1197
- Print publication:
- December 1992
-
- Article
- Export citation
Annual Meeting of the Australasian Association for Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1500-1503
- Print publication:
- December 1992
-
- Article
- Export citation