The Journal of Symbolic Logic: Volume 35 - Issue 4

Daniel Ponasse. Logique mathématique. Éléments de base: calcul propositionnel, calcul des prédicats. O.C.D.L., Paris1967, 164 pp.
Alfons Borgeps
Published online by Cambridge University Press:

12 March 2014, pp. 579-580
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Roland Fraïssé. Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude. Collection de logique mathématique, Série A, n° 23. Gauthier-Villars, Paris, et E. Nauwelaerts, Louvain, 1967, XII + 186 p.
D. Ponasse
Published online by Cambridge University Press:

12 March 2014, p. 580
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Kiyosra Iséki. Kigô ronrigaku (meidai ronri) (Symbolic logic (propositional logic)). Maki Shoten, Tokyo1968, 303 pp.
A. Nakamura
Published online by Cambridge University Press:

12 March 2014, pp. 580-581
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

M. J. Cresswell. Another basis for S4. Logique et analyse, n.s. vol. 8 (1965), pp. 191–195.
Donald Paul Snyder
Published online by Cambridge University Press:

12 March 2014, p. 581
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

M. J. Cresswell. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 (for 1967, pub. 1968), pp. 186–190. - M. J. Cresswell. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 339–345. - M. J. Cresswell. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 62–66.
David Makinson
Published online by Cambridge University Press:

12 March 2014, pp. 581-582
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Akira Nakamura. Yôsô ronri to tati ronri no kankei ni tuite (On the relation between modal logic and many-valued logic). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 6 no. 1 (1962), pp. 34–40, and vol. 6 no. 4 (1964), pp. 15–20.
Takeo Sugihara
Published online by Cambridge University Press:

12 March 2014, p. 582
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

C. L. Hamblin. The modal “probably.”Mind, n.s. vol. 68 (1959), pp. 234–240.
John P. Burgess
Published online by Cambridge University Press:

12 March 2014, pp. 582-583
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Nicholas Rescher. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 215–226.
John P. Burgess
Published online by Cambridge University Press:

12 March 2014, p. 583
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Karl Schröter. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 173–176. - Karl Schröter. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 18–29.
Gene F. Rose
Published online by Cambridge University Press:

12 March 2014, p. 583
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Henry W. JohnstoneJr., and Robert Price. Axioms for the implicational calculus with one variable. Theoria (Lund), vol. 30 (1964), pp. 1–4.
M. D. Gladstone
Published online by Cambridge University Press:

12 March 2014, p. 584
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 (1966), pp. 310–312.
M. D. Gladstone
Published online by Cambridge University Press:

12 March 2014, p. 584
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 119–134.
Ronald Harrop
Published online by Cambridge University Press:

12 March 2014, p. 584
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică (Applications de la théorie des relations dans la logique mathématique). Studii şi cercetări matematice, vol. 21 (1969), pp. 3–11.
Perry Smith
Published online by Cambridge University Press:

12 March 2014, p. 584
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Jerome Keisler. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 178–186; also Indagationes mathematicae, vol. 26 (1964), pp. 178–186.
James R. Geiser
Published online by Cambridge University Press:

12 March 2014, pp. 584-585
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 112–126.
James R. Geiser
Published online by Cambridge University Press:

12 March 2014, p. 585
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Jerome Keisler. Ultraproducts which are not saturated. The journal of symbolic logic, vol. 32 (1967), pp. 23–46.
James R. Geber
Published online by Cambridge University Press:

12 March 2014, p. 585
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.
James R. Geiser
Published online by Cambridge University Press:

12 March 2014, p. 586
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 739–743.
Martin Helling
Published online by Cambridge University Press:

12 March 2014, p. 586
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
G. Fuhrken
Published online by Cambridge University Press:

12 March 2014, pp. 586-587
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Per Lindström. On model-completeness. Theoria (Lund), vol. 30 (1964), pp. 183–196.
J. Malitz
Published online by Cambridge University Press:

12 March 2014, p. 587
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 35 - Issue 4 - December 1970

Reviews

Daniel Ponasse. Logique mathématique. Éléments de base: calcul propositionnel, calcul des prédicats. O.C.D.L., Paris1967, 164 pp.

Roland Fraïssé. Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude. Collection de logique mathématique, Série A, n° 23. Gauthier-Villars, Paris, et E. Nauwelaerts, Louvain, 1967, XII + 186 p.

Kiyosra Iséki. Kigô ronrigaku (meidai ronri) (Symbolic logic (propositional logic)). Maki Shoten, Tokyo1968, 303 pp.

M. J. Cresswell. Another basis for S4. Logique et analyse, n.s. vol. 8 (1965), pp. 191–195.

Akira Nakamura. Yôsô ronri to tati ronri no kankei ni tuite (On the relation between modal logic and many-valued logic). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 6 no. 1 (1962), pp. 34–40, and vol. 6 no. 4 (1964), pp. 15–20.

C. L. Hamblin. The modal “probably.”Mind, n.s. vol. 68 (1959), pp. 234–240.

Nicholas Rescher. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 215–226.

Henry W. JohnstoneJr., and Robert Price. Axioms for the implicational calculus with one variable. Theoria (Lund), vol. 30 (1964), pp. 1–4.

Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 (1966), pp. 310–312.

Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 119–134.

Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică (Applications de la théorie des relations dans la logique mathématique). Studii şi cercetări matematice, vol. 21 (1969), pp. 3–11.

H. Jerome Keisler. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 178–186; also Indagationes mathematicae, vol. 26 (1964), pp. 178–186.

H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 112–126.

H. Jerome Keisler. Ultraproducts which are not saturated. The journal of symbolic logic, vol. 32 (1967), pp. 23–46.

H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.

E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 739–743.

A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.

Per Lindström. On model-completeness. Theoria (Lund), vol. 30 (1964), pp. 183–196.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 35 - Issue 4 - December 1970

Reviews